
Let f be (-48675)/4425 + 1*6194/24. Is 248 less than or equal to f?
False
Suppose -2*r - 13 + 19 = 0. Suppose z + r*a - 15 = 0, 2*a - 40 = -3*z - 2*a. Suppose -19 = 2*u - 5*o, 3*u + 2*o - 4*o + z = 0. Is u != -7/4?
True
Let h = -465 + 204. Let s = -17489/67 - h. Which is bigger: s or -6?
s
Let w = -4414 + 392850/89. Suppose 4*u + 3*z - 14 = 0, 69*u - 68*u = -z + 5. Is u less than or equal to w?
True
Let d = -4.561 + 0.061. Let s = 61.5 + d. Which is smaller: s or -3?
-3
Let p = 14161044/17 - 277046769/340. Let i = p + -18152. Let k = i + -27/4. Is k at least 1.6?
False
Let b = 67 + -67. Let m = 201 + -195. Let j be (m/332)/(60/(-16)). Is b >= j?
True
Suppose -4 = -2*t, -3*j - 2*t = -5*j + 4. Let a be -3 - (-9 - 2/j*2). Let r be 8/12 - (-40)/3. Which is smaller: a or r?
a
Suppose -4*d = -2*b + 4*b - 174, -4*b = -5*d + 250. Let f = d + -15. Let v = 0.33 + -0.53. Which is bigger: v or f?
f
Let u = -162 - 195. Which is smaller: u or -1786/5?
-1786/5
Let z(p) = p**3 - 12*p**2 + 11*p + 3. Let v = 5 + 6. Let i be z(v). Let y be (3/6)/(i/(-336)). Is -57 greater than or equal to y?
False
Suppose -v - 20 - 16 = 0. Let a be v/(-315)*(15/(-2))/3. Let l = 8 - 15. Is a smaller than l?
False
Let m(c) = -14*c**3 + c**2 + 4*c - 7. Let g be m(-3). Suppose 0 = 32*a - 30*a + g. Is -184 less than a?
False
Let b = 38261 - 38275. Let y = -4 - -3.92. Which is greater: y or b?
y
Let i be 1/3*(-9)/(-183). Let z(w) = w + 3. Let m be z(-2). Is m at least as big as i?
True
Let l = -2335 - -2021. Is l greater than or equal to 2?
False
Let w be (-15*(-12)/(-812700))/(2/(-18)). Is -1 >= w?
False
Let y(v) = -2*v**2 - 11*v - 1. Let u be y(-5). Let p be (-240)/2*(-2)/4*u. Let r be 1 + (-4)/(p/76). Which is smaller: 0 or r?
r
Let d = 0.21 + 0.01. Let a = 1014723/4 - 255164. Let u = 1483 + a. Do u and d have the same value?
False
Let f = 4635 + -4156. Is f equal to 475?
False
Suppose -150*d + 145*d = -n + 15, 0 = n + 2*d + 6. Is n greater than -14081?
True
Let o = -0.4 + 0.3. Let y = -25763177/1787 + 14417. Let b = y - -7130/16083. Which is bigger: o or b?
b
Let d(i) = i**2 - 11*i + 27. Let h be d(12). Let p(v) = v**2 - 17*v - 18. Let j be p(20). Let m = h - j. Which is greater: m or 8?
8
Let v = 1451.6 + -1747.6. Are v and 0.25 nonequal?
True
Let g = -8886 - -14212. Which is greater: g or 5325?
g
Let x = 0.586 - -7.954. Let g = -26.54 + x. Is g at least -21?
True
Suppose 5*v - 4*r + 2649 = 0, -4*v - 2*r - 2125 = -11*r. Which is greater: -2638/5 or v?
-2638/5
Let n be (-3)/((4/(-6))/((-48)/(-216))). Which is smaller: n or 3/31?
3/31
Let t = -3622 + 3616. Which is bigger: t or 13/5?
13/5
Let r be (-26)/30 + 19/(1425/(-10)). Which is smaller: r or -20/47?
r
Let l = -467.239 + 467. Let v = l - 8.361. Is v > -2/7?
False
Let a = -54 + 166. Suppose 21*r = -7*r + a. Do 2 and r have the same value?
False
Let p = 13228 + -12776. Which is bigger: 448 or p?
p
Suppose 5*y - 8 = 12. Suppose k = 2*f - 5, -f + y*k = 3*f. Let i = 5308/7 + -752. Is f bigger than i?
False
Suppose -51098 = 20*b + 103702. Is -7740 greater than or equal to b?
True
Suppose -4*h - 20 = 4*k, -3 = 2*k - 3*k. Let b be (13 - h - -7) + 4. Which is smaller: -7/3 or b?
-7/3
Let p = 8.7 - -60.3. Let l = -68.7 + p. Let r = 13 - 14. Are r and l equal?
False
Let s = -18 - -30. Let b = 16 - s. Suppose 3*r - 34 = -b. Is r < 10?
False
Let f = -12373 + 12311. Is f bigger than 1/57?
False
Suppose -1063 = -5*l + 2*z + 30686, -4*l + 2*z + 25398 = 0. Suppose l = 31*h - 2763. Does 1/2 = h?
False
Let f(m) = m**3 + 8*m**2 - 57*m - 44. Let n be f(-10). Is 331 greater than or equal to n?
True
Suppose 85 = -3*j + 268. Suppose 6*n = 163 - j. Is 24 <= n?
False
Let o = -5089 - -5076. Suppose 2*m = -248 + 70. Let s = o + m. Which is smaller: -103 or s?
-103
Suppose -5*i + 3*o + 34 = 0, -13 = -10*i + 8*i + o. Suppose p - i*n + 45 = -7, -4*n = 4*p + 88. Which is smaller: p or -28?
-28
Let f = -478 - -479. Let s = -57 - -39. Let i = s - 10. Is i at most as big as f?
True
Let h = -4.485 - -4.377. Which is smaller: 54 or h?
h
Let d(n) = n + 87. Let v be d(-29). Let o = -58 + v. Which is smaller: 3/134 or o?
o
Suppose -4*v + 6410 = 6126. Let l(q) = 2*q**2 - 3*q + 5. Let r be l(-5). Let j = v - r. Is -2/39 > j?
False
Let p(x) = x**3 + 5*x**2 - x + 6. Let l be p(6). Let i = -130 + l. Is 266 at least i?
True
Let p = -91 - -62. Let w = -13 - p. Let f = 15.7 - w. Is f less than 4?
True
Suppose 0 = -9*k + 11173 + 16655 + 25920. Is k smaller than 5973?
True
Let t = 206 - 206.004. Let d = -0.196 + t. Let c = 6.1 - 0.1. Which is bigger: c or d?
c
Suppose -5 = -4*o + 3. Suppose 5*g + 1 - 4 = -2*j, 3*j = -o*g - 1. Let t(s) = 11*s. Let i be t(j). Which is greater: -13 or i?
i
Let f = -21.13 + -44.92. Let l = f - -66. Is l < -25/2?
False
Suppose 6*o - 125 = -19*o. Let l(m) = 3*m + 9. Let h(q) = -1. Let v(p) = 12*h(p) + l(p). Let w be v(3). Which is smaller: w or o?
o
Let x = 948 + -1029. Let m = 65 + x. Is 4/9 != m?
True
Let i = 2177/3 - 435403/600. Is i at least -1?
True
Let g = -5420 - -5764. Is -0.02 greater than g?
False
Suppose -242 = -3*x + 634. Let v = 4091/14 - x. Which is smaller: 1 or v?
v
Let l = -659 - -676. Let z be (-32)/l + 2 - (10 - 10). Is -16 greater than or equal to z?
False
Let t be 1004/(-251)*(-2)/130. Which is greater: -0.1 or t?
t
Suppose 5*a - 2085 = 5*o, -7*a - 3*o + 429 = -6*a. Let g = -431 + a. Which is bigger: -6 or g?
-6
Suppose 7*n = 4*n + 135. Let b be 50/(-125) + ((-118)/(-5))/(-1). Let q be (b - -20)*(-1 - 10). Which is smaller: n or q?
q
Suppose -53*u - 32 = -61*u. Suppose -27 = -b + u*t, 0*b - 3*t = -b + 23. Does b = 2/11?
False
Let i(x) = 6*x - 1. Let m = -15 - -15. Let t be i(m). Which is smaller: t or -1/1005?
t
Suppose 4*j - 16 - 12 = 0. Suppose 4*q - 32 = -0. Let l = q - j. Which is greater: l or 2/107?
l
Suppose -81*w = 284*w + 108040. Which is bigger: w or -307?
w
Suppose -108 = -2*o - 4*c, -o - 12*c = -8*c - 54. Suppose 3*u = -4*f + 181, -o*f = -50*f + 20. Which is smaller: u or 2/3?
2/3
Let b = -6531 + 5637. Is -899 greater than b?
False
Suppose -79*s - 453 = -76*s. Let a = 145 + s. Is a bigger than -6?
False
Let h = 620/21 - 2974/105. Let a be ((-2)/16)/((-1)/2). Is h less than or equal to a?
False
Let x = 6 - -53. Suppose -3*t + x - 98 = 0. Which is smaller: t or -10?
t
Let o be (-41 + 278460/425)/(2/5 + -1). Is -1025 >= o?
False
Let g = -14051 - -14047. Let v = 15 + -101. Is v less than g?
True
Let p = 817 + -599. Let t be ((-7)/15)/((-34)/p) + -3. Which is smaller: t or 1?
t
Suppose 0 = -4*g + 24 - 0. Suppose 31*d - 28*d = 30. Suppose d = 3*v - v. Is g at most as big as v?
False
Let s = -7875 + 7858. Is s <= -41?
False
Suppose 10*y = 1345 + 3735. Which is smaller: 506 or y?
506
Suppose -16*g + 26*g = -80. Is -48/7 >= g?
True
Let n = -733.4925 + 732.6. Is n greater than -0.1?
False
Suppose 3*q + 0*s + 3*s - 18 = 0, 0 = -3*q + s + 6. Suppose 5*i + 15 = 0, x - q*i = 2*i + 31. Let t be 9*4*12/x. Which is smaller: t or 26?
26
Let a be -4*(44/(-16) + 1). Suppose a*g - 187 = -4*g. Let l = g + -14. Is l != 8/5?
True
Let d(q) = q**2 + 11*q - 6. Let n be d(-10). Let s be (-8)/10 + n/(-20). Is s <= 2/463?
True
Let i = -4.015 + 4.075. Which is smaller: -86 or i?
-86
Suppose 0 = -127*k + 130*k - 54. Suppose 23*q - 29*q = -k. Which is greater: 19/9 or q?
q
Let q be (3 + -5)*(-24 - 74). Suppose q - 640 = -12*c. Which is greater: 38 or c?
38
Let d(w) = 2*w**3 - 22*w**2 - 3*w + 15. Let v be d(10). Let z = v + 204. Is -11 at most as big as z?
True
Let h = -110 - -155. Suppose h = -3*m - 6*m. Let f be (-2)/((-4)/2)*(10 + -10). Is f at most m?
False
Let q(k) = 122*k - 5021. Let f be q(65). Is f at least 2911?
False
Let c be (-64 - (-6)/(-15)*15)*(-574)/(-7). Is c at least as big as -5741?
True
Let h(q) = 30*q + 24. Let i be h(-1). Let b be (-10)/((1 + (-22)/21)*i). Is b less than -35?
False
Suppose 5*l - 1028 = -2*j, -3*j = -5*l + l - 1588. Suppose 6*m - j = 82. Suppose -3*y + 305 = -29*s + 28*s, -3*s = 2*y - 185. Which is smaller: y or m?
y
Suppose 147*q = 162*q - 15. Which is smaller: 2/63067 or q?
2/63067
Suppose 14510 = -83*i - 58713 - 106638. Is i smaller than -2166?
True
Let u be (-2680)/9 - 2/9. Let p = -299 - u. Is 2/351 < p?
False
Suppose -40 = 3*p + 2*a - 6, 54 = -3*p + 3*a. Let o be p/4 - (-7)/(-14). Let t be (2/2)/(o/72