675/2?
True
Let k = 18 + 16. Let l = k + -33.977. Let x = 1.977 + l. Is -0.3 not equal to x?
True
Let g = -46/31 - 6775/93. Which is greater: g or -75?
g
Let f be -3*3*14/(-7). Which is bigger: 16 or f?
f
Suppose 2 = -2*v - 2*h, -2*h + 0*h - 2 = -2*v. Let j = -195 - -195.101. Is j less than or equal to v?
False
Let u(k) = 9*k + 78. Let d be u(-9). Let a be (d*(-175)/21)/(-3). Is -7 < a?
False
Let q(u) = -3*u**3 - 8*u**2 + 93*u + 13. Let x be q(-7). Which is greater: x or -1/733?
-1/733
Let y = -1160 - -647. Let b = 508 + y. Is b smaller than -62/15?
True
Let o be (-1)/(1066/52) + 1273/41. Is 8/23 less than or equal to o?
True
Let j = 820 - 416. Let t = j - 405. Which is smaller: t or -5/184?
t
Suppose 7 - 37 = -3*a. Let m(y) = -3*y - 55. Let t be m(-19). Suppose t*u - u = -2*g + 8, u - 8 = 2*g. Are a and u nonequal?
True
Let n = -4948 - -3120. Let c be n/(-180) - 3/5. Is 10 greater than or equal to c?
True
Let m = 240 - 280.4. Let w = 40.2 + m. Which is greater: w or -218?
w
Let p = 11614 - 11615. Is p smaller than -150/179?
True
Suppose 37 = 4*q + 4*t + 13, -4*q + 26 = 5*t. Suppose -3*j = 5*v + j + 25, 3*v - q*j + 15 = 0. Let h be v + (-4 + 3)*-3. Which is greater: -2/7 or h?
-2/7
Let q = -3.202 + 2.952. Let s be ((-15)/(-20))/(3 - 0). Is q less than s?
True
Suppose q - 3*k = 3*q - 10, -k = -4. Let y be (q*1)/(-3 + (-21)/(-6)). Which is greater: -18 or y?
y
Suppose 0 = -2*u + 2*q - 3 + 75, -4*u = 5*q - 180. Suppose 2*p + 3*t = -80, -4*t + u = 20*p - 21*p. Which is smaller: p or -45?
-45
Let q be ((-24)/(-4) - 145/25)*0. Let s(y) = y**3 - 4*y**2 + 2. Let o be s(4). Suppose -o*x - 9 = -6*x - v, 3*v = 3. Does q = x?
False
Suppose -34658 - 50308 = 17*c. Is -2/3 bigger than c?
True
Let b = 656 + -657. Which is greater: 2/22907 or b?
2/22907
Let z be (-1 - 2)/((-3)/5). Let f(r) = r**2 - 17*r + 46. Let g = 70 - 56. Let d be f(g). Is d at least z?
False
Suppose 5*s = 11*s. Suppose 20 - 5 = -3*u. Let f be (-259)/70 + u/(-2). Is f < s?
True
Let w = -2758 + 2758.2. Is 1255/3 > w?
True
Let u(r) = 7*r + 44*r**2 - 2 + 44*r**2 - 89*r**2. Let i be u(7). Let f be 33/6072*i/(1 - 0). Is -1 smaller than f?
True
Let g be 0/(-22) - (-3)/(1 - -17540). Is 1 != g?
True
Let d be (2070/(-2484))/(62/6). Is d smaller than 21?
True
Let a(h) = 8*h**2 - 5*h**2 + 16*h - 25 - 4*h**2 - 36. Let s be a(6). Do s and -1/300 have different values?
True
Let k(h) = 16*h - 60. Let l be k(5). Let v be (2 + -16)/((-15)/21). Which is greater: v or l?
l
Let g(p) = 499*p**2 - 253*p**2 + 9*p - 245*p**2 + 5. Let o be g(-6). Which is greater: -11 or o?
-11
Let c = 732 - -3. Let v be -5 - (c/27)/(-5). Which is smaller: -0.1 or v?
-0.1
Let v(n) be the second derivative of -5*n**3/2 - 8*n**2 - 140*n. Let q be v(-1). Which is smaller: -2/61 or q?
q
Let r be 5/6 + (-270)/324. Let d = -18 + 10. Let v be d/(-4) + 3*-1. Which is smaller: r or v?
v
Let c(a) = a**2 - 9*a + 11. Let l be c(8). Suppose -3 = 3*r + 3, 0 = 2*x + l*r + 18. Let d be (-3)/4*(-10 - x). Which is smaller: d or 0?
0
Let t(c) = 2*c**3 + 24*c**2 + 66*c - 5. Let l be t(-8). Which is smaller: 0.47 or l?
l
Let r = -1305 - -1319. Let h = -16 - -12. Is r greater than or equal to h?
True
Let f be ((-2)/(-153))/((-28)/21). Let o = -131 - -131. Are f and o nonequal?
True
Let i = 3457 + -3495. Which is smaller: i or 13?
i
Let p(s) = s**2 + 6*s + 8. Let c be p(-4). Let y be (5 - 4)*2/4*c. Suppose 3*z + 3*g - 6*g = 54, -5*z - g + 72 = y. Is z less than 13?
False
Let w = 6414 + -814595/127. Are w and 1 nonequal?
True
Let c(j) = 0 - 6*j + j**2 + 0*j + 0*j**2 + 1. Let g be c(6). Let f be 7 - ((-38)/(-8) + 2). Which is smaller: g or f?
f
Let i = -1164 + 1163.7314. Is 0.1 at least as big as i?
True
Let n = -18 + 18. Let q = -824 + 823.987. Is n equal to q?
False
Let q = -416.34 + 421. Let g = -1133 - -1134. Which is bigger: q or g?
q
Suppose 0 = 5*k - 4*q + 2, 4*k + 6*q = 10*q. Let f be 7/(-2 + 12/9) - k. Let h(z) = -2*z - 1. Let u be h(4). Is u less than f?
True
Let p = 192 + -177. Let n be (-15*10/p - -5) + 7. Let y = -35 + 10. Is n != y?
True
Let v be 6/(-15) - ((-201)/15 + -4). Let d be ((48/(-20))/6)/(v/5). Which is bigger: d or 2/7?
2/7
Let b be (-12)/(-54) + 160/9. Suppose -4*r + b = 2*r. Suppose u = l - r*u + 2, 9 = 4*l + u. Which is smaller: l or 1?
1
Let v(n) = 5*n**2 + 3*n + 48. Let j be v(11). Let l = j - 417. Is 269 at least as big as l?
True
Let t(x) = -x**2 - 13*x - 2. Let d be t(-12). Suppose 260 = 5*u - d*u. Suppose -7*j + 1944 = -43*j. Is u smaller than j?
False
Let b be (-32)/(-56) - (-4)/(112/17148). Suppose x + 612 = b. Is 14/23 greater than x?
False
Let b be (11/30)/(32/(-24)). Let w = b - -267/680. Let j be (-5)/(-30)*-2*-3. Which is smaller: j or w?
w
Suppose 4*s - 17*s - 936 = 0. Let r be (-10 + 13)/(-24) - (-167)/s. Which is bigger: -2 or r?
-2
Let q = -2177/5 - -2222747/5105. Is 0 <= q?
True
Suppose -5*u = 4 + 271. Let g(a) = -10*a**2 - 156*a - 145. Let y be g(-15). Do y and u have different values?
False
Let t = 102148/145 - 3527/5. Let y be (1*(90/27)/5)/((-2)/6). Is t not equal to y?
True
Suppose -44 = -3*x + 28. Let z be 14 + (28/(-21))/((-4)/(-6)). Suppose -z = 2*i - 58. Is x bigger than i?
True
Let a be (-2)/(-4) - 165/(-6). Suppose 125*w = 2248 - 964 + 1591. Which is smaller: w or a?
w
Let w = 1/70 - -2/35. Let o be 12/(-8)*2 - -2. Is o greater than or equal to w?
False
Suppose -3*h = 4*c + 27, 4*c + 1 = 2*h - 1. Let f be (c*(-7)/6)/4*-173. Let y = f + 154. Which is bigger: 2 or y?
y
Suppose -11*o + 19*o - 208 = 0. Let h be 1751/o + (2 - 72/39). Are h and 67 non-equal?
True
Let z be (-8)/(90/(-1050)*5/(-3)). Which is smaller: -18 or z?
z
Let v = 248 - 239. Suppose 51 = -4*t - n, 0*n + n + v = -t. Which is greater: 2/17 or t?
2/17
Let b = 691.72 - 691.3. Let g be (4/(2/(-1)))/(-2). Which is greater: g or b?
g
Let z(x) = -489 + x - 5*x + 460. Let h be z(-7). Is h smaller than 1?
True
Suppose q - 117 = -437. Let i = q - -297. Do -21 and i have the same value?
False
Suppose -3*b = -5*a - 60, -277*a + 46 = 2*b - 281*a. Is b at most as big as -13?
False
Suppose 6*n = -16095 + 710 - 7073. Is n greater than -3743?
False
Suppose -41 + 101 = -12*h. Suppose -3*j - 10 = -v, -2*j = -5*v - 0*v + 50. Let w be (h/(-10))/((-5)/v). Which is smaller: w or 2?
w
Let p = -1 + 5. Suppose p*u + 48 - 4 = 0. Suppose 0 = 192*o + 197*o - 409*o - 260. Is u > o?
True
Suppose 5*h = 3*s - 6, 4*s - 6*s - 2*h + 4 = 0. Suppose 3*p - 323 = m, -41*p - 3*m - 533 = -46*p. Which is smaller: s or p?
s
Let v be ((-2)/2)/(3/(-18)). Let w be 18/(-630) - v/15. Which is smaller: 0 or w?
w
Suppose 0 = -l + 5*u - 233, -649 = 3*l - 3*u - 2*u. Is l greater than or equal to 2?
False
Let q be (-40)/(-36) - 36/(-162). Which is smaller: 177 or q?
q
Let d be (9/6 - 3)/((-4)/8). Suppose -4*l - m = 3, 0 = -4*l + 5*m + 12 + d. Are l and 0.082 non-equal?
True
Let i = -4203 + 3804. Are i and -403 non-equal?
True
Let w be (-73)/((19 + -55)/180). Suppose 362 = i - u, -2*i + 4*u + 639 + 81 = 0. Is i <= w?
True
Let s = 359 - 359. Let t be (14/(-98))/(397/(-7)). Which is greater: t or s?
t
Let r be (8/44576)/(0 - 3 - -4). Is r greater than -1?
True
Suppose r = 4*r + 54. Let g = -16 - r. Suppose 4*l - g = 4*v - 3*v, 5*l + v = 7. Which is bigger: 2 or l?
2
Suppose 6*p - 5*d + 8 = 3*p, -5*p = -3*d - 8. Suppose 9 = p*y - 3*l - 8, 0 = 3*y - 5*l - 21. Suppose -y = u - f + 17, -21 = u - 3*f. Which is smaller: u or -17?
u
Let v be ((-8)/(-300))/((-1)/(-7715)). Are v and 206 unequal?
True
Let a be 1/(6*11/24222). Is a smaller than 369?
True
Let g = -5762 + 46179/8. Let f = g + -79/8. Which is smaller: f or -34.2?
-34.2
Let p = 262 + -303. Let s(v) = 5*v - 86. Let z be s(p). Is z <= -1?
True
Let p = 139.974 - 140. Let g = 0.034 - p. Let c = 0.7 + 2.3. Is c greater than g?
True
Let h be (62910/1944)/((-3)/(-48)). Which is smaller: 519 or h?
h
Let c = 7207 - 7607. Which is smaller: c or 3/5?
c
Let v = 16 - 12. Let g be 5885/(-315) - (-20)/35. Let b = g + 1438/63. Which is greater: b or v?
b
Suppose -665 + 119 = -6*i. Let f be i/28 + (-2)/(-16)*-2. Suppose 0 = t - 2*q + 3*q + 7, 0 = f*t + 5*q + 27. Which is smaller: -26/9 or t?
t
Let y = -44/223 - -9601/45269. Which is smaller: 0.1 or y?
y
Let h(b) = b - 11. Let a be (-28)/(-21)*(9 - (-1 - -1)). Let s be h(a). Suppose -s = -2*l + 2*o - 3