7
Suppose 2*b - 2*i + 73 = 103, 3*i = -2*b. Is 163/16 greater than b?
True
Let q(f) = 19*f + 37. Let g be q(-2). Let n(j) = -j**2 + 3*j + 3. Let r be n(g). Suppose -2*t + 1 = -49. Is r less than t?
True
Suppose 11*v - 141 - 783 = 4*v. Suppose -5*l = -4*w - 673, -l - 3*l = -2*w - 536. Which is smaller: l or v?
v
Let d = -56/61 - 2561/732. Let x = d + 19/4. Which is bigger: -3 or x?
x
Let d be (-63)/15*5/(-1)*1. Suppose 18*z = d*z + 201. Is -65 greater than or equal to z?
True
Let t be (-6)/8 + 11/12 + 9/(-18). Is t at most 3/4?
True
Suppose 5*a + 80 - 212 = -2*l, 2*a - 264 = -4*l. Let v = l - 40. Let s = v - 25. Is s greater than 2/17?
True
Let f(z) = z**3 + 44*z**2 + 40*z - 130. Let x(w) = 6*w**3 + 3*w**2 + 6*w + 5. Let o be x(-2). Let t be f(o). Which is smaller: -21 or t?
-21
Let w be (9/(-100))/(-2*4/(-30)). Let d = -1289/3760 - w. Is d bigger than -1?
True
Suppose -11*g + 13*g - 8 = -5*j, -j + 4 = -2*g. Is 2/8523 not equal to g?
True
Let b = -5559 - -3610. Which is smaller: -3897/2 or b?
b
Let h = 2209 - 2209. Which is smaller: 6/1445 or h?
h
Let x = -94 - -89. Which is smaller: -94 or x?
-94
Suppose 2*n - 31 = -39. Let b be (-6 - 68/(-12))*n. Is 1/4 >= b?
False
Let s be 39/(-4) - (-105)/60. Let b be 2/((-176)/834) - 21/(-28). Which is smaller: s or b?
b
Suppose 0 = -2*p + 3*i + 1012, 17*p - 5*i = 13*p + 2020. Which is greater: 496 or p?
p
Let v = 10.128 + -9.728. Is 80/3 at most v?
False
Let c(q) = -1501*q + 18. Let m be c(9). Let h = m - -148131/11. Is h != -25?
True
Let w be (-30604)/9 - (-56)/126. Is w at least -3400?
True
Let u be -8 + 8 + 1*0/(25/5). Let g be 6/109*8/(-24). Which is greater: u or g?
u
Let w(o) = -o**3 + 27*o**2 - 174*o - 32. Let j be w(16). Which is greater: 8/1587 or j?
8/1587
Let n = 54.049 + -46.149. Does n = -71?
False
Let k be (-38)/88 - (265/55 + (-1 - 4)). Let x = -4 - -2. Let m = 2.05 + x. Which is smaller: k or m?
k
Let l(b) = 22*b + 1561. Let n be l(-71). Which is smaller: 1/34 or n?
n
Let v(t) = 11*t - 4. Let q be v(2). Let u be q*(0 - 85/(-15)). Suppose -u - 42 = -4*l. Is l < 35?
False
Let c = -140 - -95. Let h be (41/c)/(232/(-384)). Let g = h + -36/29. Is g > -1?
True
Suppose 4*m - 28 = -10*m. Suppose -u - x = -m, 9*u + 4*x = 12*u - 6. Are 16 and u non-equal?
True
Suppose 117*a + 114*a = 238*a. Is -2/333 >= a?
False
Let z = -2283 + 15823. Is 13539 greater than z?
False
Suppose -1058 - 100 = -n. Let i be -1*4/10 + n/2920. Does 0 = i?
False
Let j = 22.8 + -4.8. Let n = j + -13.4. Let g = n - 3.6. Which is greater: 0 or g?
g
Let x(i) = -i**3 + 11*i**2 + 23*i + 45. Let l be x(13). Let a be (-5)/(-4) + l/((-2160)/1810). Are a and 0.1 non-equal?
True
Let y = 0.4 - 8.6. Let q be (-16 - 264/(-16)) + (-9)/30. Does q = y?
False
Suppose -9*f = 9*f - 2880. Suppose 0 = -21*w + 11*w + f. Is w less than 18?
True
Let y(x) = x**3 - 3*x**2 + 1. Let d(o) = -o - 1. Let z be d(-4). Let q be y(z). Let p be ((-18)/(-297))/((80/(-12))/(-10)). Which is greater: p or q?
q
Let w(s) = s - 45. Let f be w(-12). Let j = f - -58. Let b = 26 + 16. Is j less than b?
True
Let t(i) be the second derivative of i**4/12 + 2*i**3 + 11*i**2/2 - 146*i. Let g be (-6)/27 - 194/18. Let v be t(g). Which is greater: -1/6 or v?
v
Let i = 1790.7 + -1450.7. Which is bigger: 7 or i?
i
Suppose 0 = 5*r + 4*w - 236, -2*r + 157 - 56 = -5*w. Let c be (0 + r/(-318))*(-2)/8. Let d be 1 + (-1)/((-2)/(-2)). Which is smaller: d or c?
d
Let c = 68 - -0.1. Let k = 125 + -57. Let f = c - k. Which is greater: -1 or f?
f
Suppose 4*q - 3*d - 378 = 0, 4*q + 5*d = 6*d + 366. Which is greater: 109 or q?
109
Let u(i) = 31*i**2 - 5*i + 34. Let p be u(-4). Let y = 684656647/1248072 - 1/178296. Let d = y - p. Is -2 < d?
True
Suppose -5*t + 12 = t. Let z be ((5 - t) + -4)*0. Is z > 15/13?
False
Let z be 52/13*(-2)/(-40)*5. Let f be (z/(-3))/(1140/540). Is f != 1?
True
Let k be (66/8)/((-209)/836). Are 69 and k equal?
False
Suppose 114 - 125 - 269 = 14*v. Let x = -107/3 - -36. Which is smaller: x or v?
v
Suppose -2*s + 18 = -3*g + 12, 3*g - s = -3. Is g bigger than 13/14?
False
Let q be (7 - 1963/273)/(2/(-7)). Which is smaller: q or -1052?
-1052
Let z(h) = -h**2 - 27. Let c be z(0). Let m be (7154/(-84))/((-1)/3)*-2. Let b = m + 483. Which is greater: c or b?
c
Suppose 9*r - 4*r + 60 = 5*n, -5*r - 60 = -2*n. Let w be 170/(-68)*6/(-75)*-70. Which is smaller: r or w?
w
Let a be 7046/(-56) + (-45)/105. Is -127 not equal to a?
True
Let n = -4242.05 - -4158. Let t = 84 + n. Is t at least 1?
False
Suppose 24*a = -10*a + 170. Let q(y) = y**2 + 5*y + 6. Let z be q(-4). Suppose z*i - 5 = 7. Is i != a?
True
Let b = -208 + 219. Let j be 94/b - 42/77. Let m be (-1 - 1) + 1*15. Which is smaller: m or j?
j
Suppose 2*w - 22 + 19 = -5*a, -5*w = -3*a - 23. Let j be (30 - -110)*1/a. Is j <= -138?
True
Suppose -r + 54 = 41*c - 40*c, r + 42 = c. Which is greater: -3 or c?
c
Suppose 13*z = -58 + 1202. Is z not equal to 90?
True
Let a = 65 - 65. Let o be a*(-8 - -7)/(0 + 1). Let x be 2/68*-1*-1. Is x less than or equal to o?
False
Let c = -4164 - -4069. Is -92 >= c?
True
Let l = -10 - -6. Let t be (-6)/(-48) + 10855/8. Let h = t + -1358. Which is greater: l or h?
h
Let u = -14257 - -1012252/71. Is -2 equal to u?
False
Suppose 4*s = -4, 1734*s - 1731*s - 4232 = 5*l. Which is smaller: l or -840?
l
Let z be 10/(520/(-39))*(-3802)/3. Which is smaller: 2 or z?
2
Let j = 350.9833 - -0.0167. Let u = -352.9 + j. Is -3 bigger than u?
False
Let u = 86 + -85.72. Let n = -0.08 + u. Let f be (-8)/28 - (-176)/(-70). Which is smaller: f or n?
f
Let w be 26/((-35984)/(-24))*4/(-12). Let z(i) = i**2 + i - 1. Let c be z(-2). Which is greater: w or c?
c
Let q = 2119 + -2119.13. Let f = -228 + 224. Do f and q have different values?
True
Suppose -10*d = -5*d - 150. Suppose 5*s - 16 + 4 = 4*x, -5*s + d = 5*x. Suppose -5*i - 130 = -3*f, -s*i = f + 16 - 82. Are 50 and f non-equal?
False
Suppose -29*p + 7 = -32*p - 4*b, 2*p + 5*b = -7. Which is bigger: 66/295 or p?
66/295
Let r(t) = -t**2 + 4. Let b(h) = h - 3. Let n be b(3). Let j be r(n). Let l be (20 + -19)/(2/j + -1). Which is smaller: l or -6?
-6
Let h be 2*3*(-42)/(-36). Let y be h/((-5397)/520) - (-32)/48. Are -1 and y nonequal?
True
Let b = -675 + 684. Let u(w) = -3*w**2 + 4*w + 66. Let z be u(b). Which is greater: z or -142?
z
Let f be (5 - 160/35)*(-436)/(-3). Let l = f - 4456/63. Is -1 less than l?
False
Let l = -13/317 + -1533/1268. Which is bigger: -2 or l?
l
Let i = 967.6 + -966.2. Which is bigger: 47.8 or i?
47.8
Let l = -2668 + 29374/11. Let f be ((-5)/20*-5)/((-30)/(-48)). Is l at most f?
False
Let n be (1/(-4) - (-641)/52)*10901/991. Is n < 132?
False
Suppose -4*w = -3*d - 67 - 662, -5*d - 1231 = -4*w. Is d at least as big as -4?
False
Let a = -12012 - -12004. Which is greater: 3/149 or a?
3/149
Let j = 98.9 + -92. Let t = j + 8.1. Let v = 15 - t. Do v and 12/17 have different values?
True
Suppose -2*i + 1 = 3*j - 11, 2*j = 4*i + 8. Suppose i = -6*g - 110 - 46. Are g and -26 nonequal?
False
Let f = -7 - -12. Suppose f*d = d. Let z = d + -3. Is z at most 0?
True
Let o = 5042.03729 + -5042. Which is bigger: o or 0?
o
Let s be (7/(-5) - (-2756)/1590) + 320/3. Let f(c) = 2*c**2 - 6*c - 2. Let y be f(3). Which is greater: s or y?
s
Let q be 5619/(-24678) + (-50)/270*24/(-20). Which is greater: q or 0?
0
Suppose -5*v + 0 + 0 = -127*v. Which is smaller: -4/751 or v?
-4/751
Let t = -43.067 + 43. Let v = 0.018 + t. Let m = 0.139 + v. Are m and -0.1 unequal?
True
Let w = -2675/74 + 1356/37. Let h be 1/(-2) + (-154)/4. Is w equal to h?
False
Suppose 303 + 159 = -187*v - 44*v. Let r = 33.66 - 34. Let p = -0.06 + r. Which is smaller: p or v?
v
Suppose 0 = -6*k - 1824 + 6360. Let b be (k/162)/(4/798). Which is bigger: 930 or b?
b
Suppose 6*t + 22 = 2*m + 2*t, 0 = 2*t + 6. Let i be (-1768)/13 - (-1 - 3). Let l be 9/2*(-110)/i. Is l greater than or equal to m?
False
Let f(z) = -3*z - 7 + 0*z**3 + 4*z**2 - 3*z - z**3 - 2*z**3. Let t be f(-4). Let j be (-1 + (-25)/(-18))*52/t. Is 0 < j?
True
Let x(q) = -q**3 - 8*q**2 + 9*q + 11. Let i be x(-8). Let j = i + 39. Let d be (-1 + (-19)/j)*2. Is d not equal to -1?
True
Let x = 23 - 26. Let p be x/(-6) + (18/4)/(-3). Let d be 4/140*283 - p/5. Which is smaller: d or 8?
8
Let c = 76 + 99. Suppose -2*l = 53 + c. Is -114 at leas