or a?
a
Let s = 14 + -7. Suppose s - 4 = -3*i. Suppose 5*u = 0, w - 4*u + 12 + 1 = 0. Do i and w have different values?
True
Let m = -151 - -190. Suppose -33*p + m = 6*p. Which is smaller: 1/492 or p?
1/492
Let m be (-1 + 2)/(11/22). Suppose -4*t + 5 = u, -1 = -m*t - 3*u + 14. Suppose -2 = -j - 1. Is t less than j?
True
Let j = 1.3271 - 0.3271. Is 2/4401 smaller than j?
True
Let k = 77/4 - 19. Suppose -27*z = -22*z + 3*d + 7887, 0 = 4*z - 2*d + 6314. Let r = 1577 + z. Which is smaller: r or k?
r
Let q = -39 + 40. Let l be (0 - 1)*(q + 0 - 0). Let k be (-4)/26*-8*l/4. Is -1 <= k?
True
Let t(z) = 48*z - 270. Let s be t(-11). Let a = 13571/17 + s. Suppose -2*w - 1 - 1 = 0. Is a less than w?
False
Let p(r) = r**2 + 6*r + 8. Let l be p(-4). Let v be 12/3 - (-5618)/22. Let g = -260 + v. Is l less than or equal to g?
False
Let c = 8 + 8. Let o = 15.97 - c. Let u = -0.2572 - -1.2572. Which is smaller: o or u?
o
Let q = 0.1609 - 8.3609. Let s = 54 - 60.2. Let a = q - s. Is a at least as big as 0.5?
False
Let k(o) = 11*o - 67. Let d be k(6). Let u be (-161)/81 - (-26 - -24). Which is smaller: u or d?
d
Suppose 0 = -4*k + 5*f - 7 - 13, 0 = -3*k - 5*f + 20. Let c = 1579057878 + -84015353454029/53206. Let r = c + 1/1438. Is r less than k?
False
Let h(x) = -2*x**3 + 10*x**2 - 11. Suppose 5*a - l - 3*l = -50, 2*a = -2*l - 2. Let s be (-105)/(-20) - a/8. Let c be h(s). Which is smaller: c or -82?
c
Let n = 61 + -63. Let j(d) = 5*d**3 + 4*d**2 + 4*d. Let c be j(n). Which is bigger: 1 or c?
1
Let d = 23936/6433 - 6/919. Let s = -59/14 + d. Let o(p) = -p**3 + 4*p**2 - 2*p - 3. Let t be o(3). Which is greater: t or s?
t
Let l = 549 + -933. Let q be l/48*1/26. Which is smaller: q or -1?
-1
Let y = 23.5 - 39.2. Let o = y - -16.2. Is o at most as big as 2.3?
True
Let i = -202.8 + -14.2. Let j = i + 196. Is 1/4 less than j?
False
Let w(q) = -7*q**3 - 13*q**2 + 43*q - 163. Let b be w(8). Which is bigger: -4234 or b?
-4234
Let v = 9681 + -9599. Does 24 = v?
False
Let v be 15/(-6)*16/(-10) + -3. Is 33/115 smaller than v?
True
Let w = -59 - -45. Let v(i) = -i**3 - 5*i**2 + 3*i - 2. Let d be v(-4). Let n = 12 + d. Which is bigger: n or w?
w
Let q be (7/(-5))/(77/(-2310)) + -6. Which is greater: 19 or q?
q
Let v = -2/22237 + 2179264/422503. Is 5 not equal to v?
True
Suppose 141 = -8*k - 19. Let y be (3/15)/((-24)/k). Is y at least as big as 1?
False
Let l(r) = r**2 + 11*r + 9. Let s be l(-11). Suppose 4 - 56 = -k. Suppose 24*c + k = 28*c. Is c greater than s?
True
Suppose 115 = 4*d + 3*x, -5*d = 27*x - 30*x - 110. Suppose -3*q + 26 = v - 5, -v - q = -d. Are 1 and v non-equal?
True
Suppose 5*f - 3*u - 2*u = 30, 5*f - 3*u = 28. Let i = -92 - -91.898. Let w = i + 0.602. Which is greater: f or w?
f
Suppose -2*q = -106 - 200. Let x = q + -238. Is x bigger than -87?
True
Let y be (-2)/8 + 195/(-52) - 2938. Which is smaller: -2944 or y?
-2944
Let m(r) = -5197*r - 41. Let u be m(1). Is u < -5240?
False
Let a = 7764 + -7765. Suppose 95 = -0*d + 5*d. Let g be (-2)/(-20)*d + -2. Which is bigger: a or g?
g
Let g be (-1 + 20)*(-5 - -1). Let b = -75 - g. Which is bigger: b or -1/146?
b
Let v = 87 + 73. Let j = -158 + v. Is j less than or equal to -2?
False
Let w(x) = -8*x + 4*x + x - 14. Let n be w(-5). Is 1/134 smaller than n?
True
Let l(q) = 668*q**2 + 3*q + 15. Let c be l(10). Let n be -2 - (2 + c/(-205)). Let t = -322 + n. Which is smaller: t or -1?
-1
Suppose -10 = 2*h, j + 16 = 12*h - 15*h. Is 180.3 smaller than j?
False
Let h be 5*(4074/(-35) - 4). Let o = h + 602. Is o bigger than 100?
False
Let d = -6378 + 6371. Which is smaller: 172/7 or d?
d
Let v(m) = 2*m**3 - 33*m**2 - 27*m - 65. Let x be v(18). Is 420 at most x?
True
Let v(u) = u**2 + 12*u + 25. Let c be ((-342)/15)/2 - 6/(-15). Let k be v(c). Suppose k = 2*d + 12. Which is smaller: d or 43?
d
Let h(v) = -9*v + 123. Suppose -14*n + 336 = 10*n. Let u be h(n). Is 3 greater than u?
True
Suppose -8*b + 79 = -161. Let k = -51 - -83. Which is smaller: b or k?
b
Suppose 194 + 394 = 7*l. Suppose -3*y = 11*y - l. Are y and 4 non-equal?
True
Let t(g) = -g**2 - 6*g + 4. Let k be t(-6). Let n be 2*((-10)/k - -3). Let d = 822 + -819. Are n and d unequal?
True
Let v = 9 + -9. Let w be (-16)/36 - (-5 - (-8146)/1800). Which is smaller: w or v?
v
Suppose -9*u - 443 = -1181. Suppose -p - u = -52. Which is greater: p or -92/3?
p
Let y = 3.52 + -5.52. Let b = -9.82 - -73.82. Which is greater: y or b?
b
Let s be ((-15)/(-3))/(-5)*71. Let x = s - -73. Let i be 559/(-1170) + x*1/4. Which is smaller: -1 or i?
-1
Let j = -3218500953/6640 + 484714. Which is bigger: j or 1?
1
Let q(l) = 3*l + 193. Let s be q(-18). Suppose -2*v + 357 = -s. Is v not equal to 248?
False
Let f = -237766/9 - -26377. Which is bigger: f or -40?
-40
Let r = 1 - 3.5. Let f be (2/14)/(12/42). Which is smaller: f or r?
r
Suppose -15 = 5*r + 3*w, 4*r = -4*w - 5 - 7. Let k be (-2)/5*(2/4 + r). Is 1.25 < k?
False
Let u be -20 + 5816/112 - (-10)/2. Which is bigger: 38 or u?
38
Suppose -108*w + 113*w - 7 = -3*f, f - 1 = -w. Which is bigger: w or 139/43?
139/43
Let x = -1206428 - -1205106.482. Let l = x - -1323. Let c = 1.43 - l. Which is bigger: c or 0?
0
Let q = 1.6 + 0.4. Suppose -18*y - 40 = -19*y. Let b be (-12)/y*6*(4 - -1). Which is smaller: q or b?
b
Let l = 41416199/545 - 75993. Does l = -1?
False
Suppose -457878 + 65036 = -103*v. Are -2 and v nonequal?
True
Let o be (-254)/1905*3/227. Which is bigger: o or 0?
0
Let y(k) = -46*k + 5. Let g be y(5). Let z(b) = -27*b**3 - 4*b**2 + 5*b - 3. Let d be z(2). Is g at least d?
True
Let r be ((-16)/(-48))/(60/(-18))*12/3. Do 708/7 and r have different values?
True
Let o(g) = g**3 - 14*g**2 + 17*g + 9. Let m be o(12). Let u = -49 - m. Suppose u*h + 16 = 28*h. Which is smaller: h or 7?
7
Let c = 21158/3285 - 296/45. Which is smaller: 0 or c?
c
Let p(x) = -626*x - 1251. Let z be p(-2). Which is smaller: z or 76/33?
z
Let x = -81/2 + 41. Let d = -7.74 + 6.28. Does d = x?
False
Let a = 41/3 - 13. Suppose 0 = 70*f + 1045 + 680 + 1705. Which is bigger: f or a?
a
Let n = -2678.894 + 2679. Is 0.1 < n?
True
Let t = -5.1 - -5. Let z = t + 0.2. Let n = 0.994 - -0.006. Which is greater: z or n?
n
Let a = -71 + 85. Suppose 1 = a*d - 15*d. Which is bigger: d or -22/15?
d
Let b be 3/((-6)/(-32)*4). Let s be b/(112/116) - 4. Is s > 0?
True
Let l = -3 - -20. Let f be 14/7*3 + -3. Suppose -f*g + 148 = 100. Is l <= g?
False
Let c(u) = 32*u - 302. Let o be c(33). Is 757 <= o?
False
Suppose 2*q + 7*q = 5*f + 1577, 2*f = -2*q + 366. Which is smaller: 200 or q?
q
Suppose 39*u = 116*u - 74550 + 244104. Which is smaller: u or -2200?
u
Suppose 0*t = 2*n + 5*t + 14, -2*t - 2 = 2*n. Let a = n + 4. Suppose 11*i - a*i + 4 = 0. Is -2/81 < i?
False
Suppose 9*n = 7*n + 4*c + 102, 3*n - c - 143 = 0. Suppose -4*x - 2*d - 183 = -49, n = -x - 5*d. Is -33 bigger than x?
False
Let a = 0.0403 + -5.9003. Let q = -6 - a. Let c = -18.14 - q. Is 2/5 less than or equal to c?
False
Let w(p) = -368*p - 8180. Let c be w(0). Is -8179 equal to c?
False
Let o = -1240 + 1230. Which is smaller: o or 57?
o
Let j be (5/((-25)/30))/((-2)/7). Let q(y) = y**3 - 22*y**2 + 21*y. Let k be q(j). Which is bigger: -1/11 or k?
k
Suppose 60*k + 12 = 72. Which is greater: k or 70/111?
k
Let r = -78 - -80. Suppose 3*m - 15 = f - 2*m, -18 = -2*f - r*m. Let i be 4/(-10) - (343/f - -2). Do i and -72 have different values?
True
Let r = -38 + 42.2. Let c = -19 - -18. Is c <= r?
True
Let k = 160 + -97. Let w = -45 + k. Let l = -6 + w. Which is smaller: 13 or l?
l
Let o(c) = c**3 - 21*c**2 + 19*c + 28. Let y be o(20). Let j be (-614)/y + (-9)/(-12). Let v be ((-18)/(-4) + -5)/(6/j). Is 7 bigger than v?
True
Suppose 0*w - 18 = -2*w + 2*m, -3*m + 29 = w. Let u = -22 + w. Let x be (7/98)/((-2)/u). Is x <= -5?
False
Let a(v) = -v**3 - 7*v**2 - 15*v - 26. Suppose 23 = l + 28. Let u be a(l). Let w be (2/(-4))/(102/(-4)). Which is bigger: u or w?
w
Let r = 28774 + -31493. Is r equal to 6?
False
Suppose -159800 = 66*u - 16*u. Is u < -3197?
False
Let o(q) = 2*q**3 - 7*q**2 - 18*q + 11. Let k(f) = 3*f**3 - 6*f**2 - 14*f + 10. Let c(g) = -5*k(g) + 4*o(g). Let t be c(-2). Is t smaller than 59?
False
Let c = -427.867 - -427.9. Is -0.06 greater than c?
False
Let y(i) = 125*i**3 + 3*i**2 + 2*i - 3. Let a be y(1). Let