?
x
Let r = 623556/25 - 24939. Let g = r + -2013/575. Is 2 at least g?
True
Let s = 8 - 47. Suppose w - 10 = -9*w. Let v be (11/11)/((-80)/(-82) - w). Is v bigger than s?
False
Suppose 909*a - 913*a = 12. Let p be 4 + a + 1 - (1 - 7). Suppose 22 = 2*g + 2*s, 5*s - 42 = -3*g - g. Is g equal to p?
False
Let x = 0.104 + -0.204. Which is greater: x or -0.24?
x
Let b = -112 - -111.88. Let h = -0.28 + b. Which is smaller: h or 0.11?
h
Let h = 65 + -139. Let m = h - -77.1. Let u = 3.9 + m. Which is bigger: -3 or u?
u
Suppose q + 110 = -14*s + 146, -s + 9 = -q. Suppose -3*p + 4*p = -4*f - 10, 0 = -5*p - 5*f - 5. Is s smaller than p?
False
Let r = 5/3454 + -13577689/10362. Is r <= -1310?
True
Let l(r) = -20*r**3 - 4*r**2 + 5*r + 9. Let w be l(-2). Let t = 144 - w. Is -4/131 greater than t?
False
Let x be (-10)/2*13*(-6)/15. Let o = -26 + x. Which is bigger: 1/85 or o?
1/85
Let d be 8/1 + -5 - -14. Suppose 0 = -18*p + p - d. Which is smaller: p or 10/31?
p
Let v = 655 + -651. Suppose 0 = -4*z - 3*a - v + 17, 2*z - 5*a = 13. Are z and 7/2 non-equal?
True
Let z be (-2 + -1 + (-87)/(-27))*(-105)/(-1015). Let g = 4 - 5. Is g greater than z?
False
Let v = 623 - 624. Let k be (v - 168/(-184)) + (-16)/2990. Which is smaller: -1 or k?
-1
Let p(k) = -14*k + 100. Let y be p(7). Suppose 3*x - 6 = 5*a - 14, x - 12 = -y*a. Are -71/3 and a equal?
False
Suppose 333 = -11*x + 12*x. Let p be (-1290)/860*(1 + (-361)/x). Which is bigger: 1 or p?
1
Let r = 14 + 305. Let d = r - 319.4. Let x = -3 - -4. Which is smaller: d or x?
d
Let d be 0/(-1 - 0) - -2. Let b = -21570/119 + 3096/17. Is d less than b?
False
Suppose 0 = -30*r + 38*r - 64. Suppose -r*k + 392 = -64*k. Which is smaller: k or -37/6?
k
Suppose -3*r - 2*s + 4 = 0, 0*s - 25 = -5*s. Let c be 4131/(-984) - (r + -1). Let h = c - -9/8. Which is smaller: -1 or h?
-1
Let g = 670 - 1344. Let r = -675 - g. Are 418 and r equal?
False
Let n be (288/(-30))/8*10/(-4). Suppose -13 + n = 10*j. Which is smaller: -6/31 or j?
j
Let f be 5 - (4 - 6 - -5). Suppose 2*l + l = -f*g + 185, 5*g = -3*l + 440. Which is greater: g or 84?
g
Let z = -2 - -5. Suppose -4*y = a + 56, -8*y + 4*y + 4*a - 76 = 0. Let m(n) = n**2 + 10*n - 72. Let o be m(y). Are o and z unequal?
False
Suppose -42532 - 4188 = 40*n. Let w be (22/33)/(n/588 + 2). Is 2 at least as big as w?
False
Let p = 695 + -6209/9. Which is smaller: p or 4?
4
Let v = 7.871 - 4.871. Which is bigger: v or -1.36?
v
Suppose 0 = -h - 7 + 29. Suppose -z - h = 5*y - 0*y, -28 = 4*z + 5*y. Let t be ((-7)/(-7))/(z/(-22)). Is t bigger than 10?
True
Let w = 44064 + -44063.87. Let y = 32 - 17. Let p = y - 11. Which is smaller: w or p?
w
Let y = 19825 + -22973. Is -15738/5 bigger than y?
True
Let k(h) = h**2 + h - 25. Let s be k(6). Let a = -23 + s. Let c be (-5100)/1386 + a/(-9) - -3. Which is bigger: c or -1?
c
Let h = -537 + 8119/15. Are h and 5 non-equal?
True
Suppose 5*v = -514*a + 512*a + 48, -3*a = 2*v - 39. Which is bigger: -6 or a?
a
Suppose 53*x + 48 = 4235. Which is smaller: -3/10 or x?
-3/10
Let g be 40/(-540) + (-2)/(-27). Is -4/779 < g?
True
Suppose 3*s - 10*s + 112 = 0. Suppose s*j - 13*j + 9 = 0. Let a be (-2)/(-7) + (-7 - -5). Which is smaller: a or j?
j
Let y be (-792)/(-44)*(-12)/(-8). Is y > 136/5?
False
Let r be 5*((-8)/1 + (-3116)/(-380)). Which is smaller: -2/3189 or r?
-2/3189
Let o = 933544/26847 - -15/2983. Are o and 34 unequal?
True
Let h(x) = -2*x**2 + 68*x - 339. Let s be h(27). Which is smaller: -22 or s?
-22
Let g = -76149/11 + 532330/77. Let t = g - -105/11. Are t and 61 nonequal?
True
Suppose 2*y + 5*l = -0*l - 21, -5*l + 25 = 0. Let j be (-35*2)/(201/(41 + 26)). Is j less than y?
True
Let a = -380 - -569. Let w be -1 + -2 + a/33. Suppose 0 = -k - 3*l + 16, -51*k + 47*k + 4*l = 0. Is w less than k?
True
Let d = -74 - -72. Let f be (d + 59)*((-134)/(-6))/1. Let j = -19087/15 + f. Which is bigger: j or 0?
j
Let b = 46 + -1298. Are -1252 and b nonequal?
False
Let a = 120580 - 1389805079/11526. Which is bigger: a or -1?
a
Let a = -304 - -164. Suppose 2*q - 4*x + 308 = 0, -2*q - 3*x - 17827 = -17568. Is q >= a?
True
Let w(f) = 66*f - 65. Let m be w(-6). Let z = 426 + m. Are -33 and z equal?
False
Let c be (3 - 0) + -5 + (-1528)/(-180). Let o = c + -35/9. Let j = o + -3. Is -5 at least j?
False
Suppose 13*x + 25 = -1. Let k be (x/(-15))/(42/70). Is k > 1/120?
True
Let z be (-17456)/6*(-300)/200. Is z less than or equal to 4365?
True
Suppose 180 = z - 3*y + 30, 4*y - 476 = -3*z. Let x = z - 154. Which is smaller: 0.16 or x?
0.16
Let i(y) = y**2 - 7. Let n be i(-3). Suppose j = 3 - n. Let l = -2/89 + 97/356. Which is bigger: l or j?
j
Let x = 221 + 1908. Is 2129 at least x?
True
Let v(p) = -3*p**3 - 2*p**2 - 3*p - 1. Let c be v(-1). Suppose -4*g = -x + 19, 2*x - 59 - 1 = -c*g. Is x not equal to 32?
True
Let z = -300 + 397. Let u(b) = 4*b**2 - 18*b + 27. Let l be u(7). Is l at least as big as z?
True
Suppose -4*s - 1206 = 2*d, 3*s - 4*d - 33 = -954. Is -303 greater than or equal to s?
True
Let k = -485/99 - -49/11. Let g = -540 - -497. Let s be -2 - -9 - (-344)/g. Is k <= s?
False
Suppose -106*g = 251*g + 50*g - 26048. Which is smaller: 1818/29 or g?
1818/29
Let l be ((-6)/(-4))/(-3*5/160). Let p be (-134)/l + 6/(-16). Suppose 4 = 2*g + p. Which is bigger: -18 or g?
g
Let v = 26637 - 26635. Is v less than -8/659?
False
Let c(i) = i**3 - 29*i**2 + 469. Let x be c(30). Is x < -1?
False
Let c = 7482 + -7436. Is c less than or equal to 45?
False
Let a = 10117 + 115. Is 10231 less than or equal to a?
True
Let i be (-704)/5280 + (-18709)/21570 + 1. Which is bigger: 0 or i?
0
Let d be (-4)/12 + 1/3*22. Let b(x) = -x**2 + 5*x + 29. Let y be b(d). Which is bigger: y or 18?
18
Let m = -5865 + 35077/6. Let r be 1*-25 + (-60 - (-90 + 24)). Is m less than r?
False
Let r = -6917.01 - -6868. Let f = 49 + r. Is f bigger than 0.022?
False
Suppose -4*j = 3*i - 799, -64*i + 787 = -61*i + j. Is 265 at least i?
True
Let u(m) = -m + 6. Let f be u(4). Suppose -1 = 4*b - 2*a + 1, 5 = -b + f*a. Which is smaller: -6/23 or b?
-6/23
Let j = 110 - 47. Suppose 0 = 6*x + j + 75. Is -21 < x?
False
Let s = 8 + -13. Let t be (s - -3)*1*31 - 2. Let k = -40 - t. Which is smaller: k or 25?
k
Suppose -3463*s - 72 = -3445*s. Is s >= 6?
False
Let x = 0.0509 - 0.0332. Let y = 1.9823 + x. Which is smaller: y or 48?
y
Let z(m) = -m**2 - 13*m - 10. Let q be z(-12). Suppose -5*r - 325 = 3*g + q*g, 71 = -g - 4*r. Let a = g - -50. Is -11 less than a?
False
Let d = 3.523 + -3.423. Which is greater: -0.899 or d?
d
Let f = 24 + -20. Let a(v) = -v**3 + 5*v**2 - 5*v + 6. Let u be a(f). Suppose q = -u*k + 7, 4*q = -0*q - 4*k + 24. Is q < 2?
False
Suppose 204 = -c + 397. Suppose c*g - 6 = 199*g. Which is smaller: 3/64 or g?
g
Let m be (155/87)/((-112)/(-21) + -4). Let w = -5/58 + m. Which is greater: w or 0.12?
w
Let d = 1.059 - -3.925. Let g = -5 + d. Let t = 1.984 - g. Which is smaller: t or -0.01?
-0.01
Let p = 2247 + -2246. Which is smaller: p or -343.2?
-343.2
Let c(j) = -43*j - 3441. Let f be c(-80). Is f equal to -5/1271?
False
Let y = 6990 - 7031. Is -0.35 greater than or equal to y?
True
Let t = -7560 - -38056/5. Let k = 49 - t. Does k = -3?
False
Suppose -87*g - 64*g = 116572. Is -5402/7 less than g?
False
Suppose 12 = -2*f - 2*l, f - 34 = 2*l - 49. Is f > 98?
False
Let x be (-15*12/36)/((-1)/4). Suppose 0 = -13*m + 11*m + 42. Do x and m have the same value?
False
Let l(r) = r**2 + 3*r - 2. Let i be l(-4). Suppose -4*c - i*s = 10, -c + 2*c + 3*s = 5. Let k(a) = -3*a - 2. Let x be k(-3). Which is smaller: x or c?
c
Let x = -54 - -46.8. Let k = x + 7. Let w = -3.4358 + -0.5642. Which is smaller: k or w?
w
Suppose 0 = -2*l + 3*q - 4, 22*q + 8 = -2*l + 27*q. Let y = 39378/19 + -2072. Let v = y + -311/627. Which is smaller: l or v?
v
Suppose -11*f + 27 = -12*f - 4*s, 4*f - 4*s = -8. Suppose 9*m = 11*m - 10. Suppose -10 = 3*v + m. Is f not equal to v?
True
Let s be ((-8)/(-32))/(1/(-4)) - -4. Suppose s*z - 36 = -4*b + 23, z = -2*b + 29. Is 16 at most as big as b?
False
Let l = -2.15295 - -0.05295. Is l smaller than -225?
False
Suppose -129 = -33*l - 30. Let j be -19 - -2*(l + -5). Which is greater: j or -27?
j
Let t = 1.073 - 98.973. Let v = t + 98. Let a = -10.1 + -20.9. Which is greater: v or a?
v
Let t = 5/3 + -13/