igger: -102 or o?
o
Suppose q - 4*o = -2, -2*q - 2*o = -1 - 5. Suppose -3*d + q = 5. Which is smaller: d or -4/11?
d
Let u(a) = a**3 + 4*a**2 - 6*a - 6. Let n be u(-5). Let m be 3 + -2 - 1 - n. Suppose -t - m = -2*h, -3*h = 5*t - 0 + 5. Is t < -23?
False
Let y = 15610 + -15617.383. Let a = 0.183 + y. Is a greater than or equal to 2/3?
False
Suppose -3 = 28*f - 11 + 8. Let a = 247 - 4694/19. Does a = f?
False
Let m = -67 + 77.7. Let r = m + -3.1. Let s = -7.6 + r. Is 23 <= s?
False
Let n(b) = b**3 + 14*b**2 - 15*b + 10. Let x = 8 - 23. Let l be n(x). Let h be (8/l)/((-21)/(-15) + -2). Is 0 >= h?
True
Let m(c) = -13*c - 1. Let t be m(1). Let o be (-4)/t - 76/70*1. Which is greater: o or -6?
o
Let x = 13 - -7. Suppose 4 = -2*u, 96 - 140 = -2*j + 2*u. Do x and j have the same value?
True
Suppose 55*g = z + 54*g - 23, 20 = -4*g. Suppose -5*m = 3*o + 14, -o - 29*m = -24*m + z. Is o smaller than -7/8?
False
Let l = -1103 - -1026. Are -87 and l unequal?
True
Let l = 1124/65 - 204/13. Let u = -32.412 + 32.422. Do l and u have different values?
True
Suppose 38*o - 7*o = 5952. Suppose -4*s + 212 = -2*f, -2*f - f = 4*s - o. Suppose 0 = 4*a - 3*y - 196, 2*a = -3*y + 4*y + 100. Is a greater than or equal to s?
True
Suppose -13*h + 18*h + 2573 = -2*j, 3*h = -5*j - 1521. Is -519 less than or equal to h?
True
Let n(t) = t + 5. Let i be n(-3). Suppose 4 = i*m + 2. Let q be 1*((-48)/(-28) + -2). Which is smaller: m or q?
q
Let o = -3906 + 3905. Let j = 216 + -125. Is j less than o?
False
Suppose -g = 9*g + 1520. Let d be 14 + -11 - (g/(-30) - 1). Let l = d + 5/3. Which is smaller: 2 or l?
l
Let q(w) = w**2 - 55*w + 762. Let a be q(27). Is 106/21 less than a?
True
Suppose -4*l + 9*l = 2*s - 45, -l + 3*s - 22 = 0. Let x be (8 + 2)*(-2)/(12/3). Which is smaller: x or l?
l
Suppose -2*x = 3*c + 55, -27*c = 2*x - 30*c + 49. Let l be x/(-39) - 1/(-3). Which is bigger: l or 7/15?
l
Let m(v) = 680*v - 77. Let d be m(3). Let b = 17804/9 - d. Is b at least as big as 15?
True
Suppose -2*x - 5*i = 69, 3*x + 29 = -3*i - 52. Let p be (x/55)/((-18)/(-10)). Do 1/7 and p have the same value?
False
Suppose -1 = -2*a - 13. Let d be 136/(-186) + 1 + 2/a. Let i = 416/279 - d. Is i > 2?
False
Let o(m) = -61*m**2 - 302*m - 5. Let q be o(-5). Is q smaller than -7?
True
Let p be (-521)/(-4)*2 + (48/(-24) - -1). Which is bigger: p or 259?
p
Let o = -18.8 - -17. Let v = 251 + -253. Let d be 81/675 - v/25. Is d smaller than o?
False
Suppose 0 = 16*w + 3228 + 4644. Let u be 17671/w + (-2)/(-8). Is u greater than or equal to 2?
False
Let b = -8847 - -10496. Which is bigger: b or 3?
b
Let h = -1602 - -3022. Suppose -h - 780 = -40*n. Is n equal to 57?
False
Let x = -9773/98 - -60/49. Let z = x + 96. Which is bigger: z or -3/13?
-3/13
Let j = 2/1228645 + 2398064/36383864385. Is j >= -1?
True
Let u = -11294 + 11262. Let h(d) = -2*d - 1. Let x be h(-5). Are x and u unequal?
True
Suppose 61*r + 20626 = -236. Which is bigger: -337 or r?
-337
Suppose 2*a + 0*a = 3*z + 29, -a = -5*z - 25. Let l be a/3*(-5)/((-100)/24). Which is bigger: 26/7 or l?
l
Let m(d) = 42*d**2 - 7*d - 54. Let i be m(-5). Is 1032 at most i?
False
Let t be (9 - -1)*(-31 - -30). Is t < -14?
False
Let b be (0 - -1)*(3 + -5). Let u be (147/(-24) - -5) + (-3)/b. Which is bigger: -0.3 or u?
u
Let k(o) = 4*o - 32. Let z be k(-32). Let u be ((-870)/z)/((-3)/(-4)). Is u at most 7?
False
Let k be (2/((-4)/(-3)))/((-6)/(-1352)). Suppose 9*q - 22*q = k. Is -25 less than or equal to q?
False
Let w = 13355/4307 - 149/59. Does w = 0?
False
Suppose 2*g - 17 = 3*o - 2*o, -2*g + 22 = 4*o. Let a be -9 + g + 168/(-10). Let i(n) = 7*n + 206. Let x be i(-32). Is a less than or equal to x?
False
Let x be 131*-2 - (-92)/23. Let a = x - -258. Suppose -3*p + 59 - 200 = 0. Is a != p?
True
Let h = 7063 - 7065. Which is bigger: 9/122 or h?
9/122
Let w(y) = -2*y**2 - 3*y - 7. Let s be w(-2). Let j be (-12)/(-99)*s/2. Which is smaller: 6 or j?
j
Let v = 100 - 65. Let j be -1*(10/(-1) - 21). Is v at most j?
False
Let n(y) = 10 + 1 + 6*y**2 - y**3 - 4*y + 3 - 8. Let w be n(6). Is -134/7 bigger than w?
False
Let k(g) = g**2 + 7*g + 30. Let j be k(-9). Suppose -j*s - 31 = -17*s. Are 1/207 and s unequal?
True
Suppose -5*p + 936 = 31*p. Let w be (-66 - -61)*p/(-5). Is w less than or equal to 4?
False
Let w = -383.71 + -26.19. Let g = -428 - w. Which is smaller: g or 0?
g
Let n be 3 + 1*28/(-4). Let x be (103/2)/((150/n)/(-5)). Let w = -739/105 + x. Which is greater: 1 or w?
1
Let t be (0 - 3) + -1 - -8. Suppose 0 = -b - l + 2*l + 69, 0 = t*b - 3*l - 280. Suppose 8 = 5*r + b. Are 0 and r equal?
False
Let t(y) = -3*y**2 - 2*y + 2. Let i be t(0). Let l = -77 + 87. Suppose -l*q + 44 = q. Which is bigger: q or i?
q
Let v = -0.7614 + 0.697. Is -1 at most as big as v?
True
Let c be (11/6)/(-11)*3. Suppose 27*t = -38*t + 3111 - 12536. Is c != t?
True
Let u(l) be the third derivative of l**4/24 - 7*l**3/3 - 23*l**2. Let y(j) = -1. Let w(i) = -u(i) - 3*y(i). Let k be w(11). Is k greater than 41/6?
False
Let t = -16540 - -16529. Which is greater: -1099 or t?
t
Let m = 81 + 54. Let y = m + -134. Which is smaller: y or -0.1?
-0.1
Let j = 3/2770 - -1379/5540. Are -3881/5 and j nonequal?
True
Let h = -9.99 - -7.99. Are 20.19 and h non-equal?
True
Suppose 14 = -5*q + 2*z, 4*z - 28 = -79*q + 78*q. Which is greater: 14/1723 or q?
14/1723
Let q be -42 - -43 - 57/12*-10. Which is bigger: q or -3/13?
q
Let q = -239 + 578. Let f = q + -337. Let c = 4 - 4.1. Is f < c?
False
Let a = 1059/140 - 27/28. Which is greater: 2/9 or a?
a
Let r be (-2)/(16/(-88) + 48/(-99)). Suppose 4*l - 24 = -2*a, r*l - 30 = -4*a + 4*l. Which is smaller: 9 or a?
a
Let i = -3.52 - 1.48. Let c = -0.98 - 0.32. Let s = c + 1.1. Which is bigger: s or i?
s
Let c = -38 - -45. Let v be (2 - 2/(-5))/(12/(-40)). Let q = v + 10. Are q and c nonequal?
True
Let y be (-56 + 20)/(-2178 + 2 + -6). Is 0 less than y?
True
Let h(j) = 96*j**2 - 33*j + 2. Let n be h(3). Suppose -4*f = -n - 1457. Is f smaller than 557?
True
Suppose 0 = -31*b - 22*b + 289115. Which is greater: 5456 or b?
5456
Suppose 0 = -42*b + 212*b + 2*b - 147232. Which is bigger: b or 858?
858
Let t = -29123 - -29124. Is t less than or equal to -31/581?
False
Let f be (-1)/(-6)*3 + 0. Let z = -1997.1 - -1914.1. Which is greater: z or f?
f
Let u be 17/(-34) - 3/(-2). Suppose u = -3*f + 3*z + 4, -4*z + 36 = 6*f. Is -43 bigger than f?
False
Let o(t) = -4*t + 3. Let u be o(5). Let f(s) = -65*s**2 - 14*s + 54. Let q(m) = -23*m**2 - 6*m + 18. Let z(x) = 6*f(x) - 17*q(x). Let v be z(u). Is v != 1/20?
True
Let y be 32 - (-15309)/(-35) - -1*4/10. Is -1211/3 <= y?
False
Suppose -193705 = 130*d + 165875. Is -2770 at least d?
False
Let f be 19/((2583/(-432) + 6)*2). Is 2279/5 smaller than f?
True
Suppose 5*n - 8*s = 7911, 4*n - 10*s - 6256 = -14*s. Which is smaller: n or 1567?
1567
Suppose 2 = 3*l - 4*l + 4*m, 2*m = 2*l + 4. Let h(t) be the second derivative of t**3 + 8*t**2 + t + 32. Let x be h(-3). Is l not equal to x?
False
Let o = 787 - 787.409. Let a = -0.509 - o. Is -28/13 less than a?
True
Let f be ((-36)/130)/((-98)/(-111230)). Are f and -315 non-equal?
True
Suppose 25*u = 38 - 1438. Let h be (-8)/(-6) + u/(-18) + -4. Suppose -3*i + 0*x + 19 = -4*x, -x - 2 = 2*i. Which is smaller: h or i?
h
Let v(y) = -118*y - 4014. Let m be v(-34). Which is smaller: 170 or m?
m
Suppose -5*b + 3*y = -51, -b = -4*y + 5*y - 7. Suppose -b = -q - 11. Is -17 at most as big as q?
True
Let u = -10332/3835 + 114/295. Which is smaller: u or -0.06?
u
Suppose -5*b = j - 5, -16*b - 4*j + 20 = -11*b. Suppose 4*f + 4*x = -12 + 52, -5*f + 4*x + 41 = b. Is f at least as big as 6?
True
Let s(d) = 6*d - 30*d**2 - 2*d + 5*d**2 + d**3 + 60 - 12*d - 8*d. Let i be s(26). Is i smaller than 320?
False
Suppose p - 2*x = 3*p + 254, -2*x = 6. Let w be 132/26 - (-75)/(-975). Let u be 18/8*(p/(-12) - w). Which is bigger: -1 or u?
u
Let k = 9.483 + -9.4. Let h = -10 - -85. Let u = 75 - h. Which is smaller: k or u?
u
Let a = -5547 - -4843. Do -709 and a have different values?
True
Let i be ((-9)/(-18))/((-2)/(-8)). Suppose 5*a - 3*l + i + 6 = 0, 4 = -2*a + 2*l. Let t = -490 - -2438/5. Is a less than or equal to t?
False
Let f = 898/7 + -900/7. Is 3175 greater than f?
True
Let k(a) = -1574*a - 235. Let o be k(-