e j(2). Let t be -2 - (l + 4 - -2). Suppose 4*m + 3*y + 93 = 260, 0 = -5*y - t. Is m >= 44?
True
Let c = 1918 + -1956.59. Is c smaller than 2?
True
Let a = 2 - 2. Let k = 28692/108097 + -86/317. Does k = a?
False
Suppose -3 = d, 90*d + 5286 = 2*p + 88*d. Are -2 and p unequal?
True
Let u(y) = -4*y**2 - 26*y - 12. Let v be u(6). Let g be (9/(-2))/3*v/36. Is g equal to 38/3?
False
Let m be ((-3)/15)/(6/(-10)). Suppose -2*v + 5*r + 351 = 0, 4*v - 2*r = 1375 - 633. Is v > m?
True
Let k be ((-6)/15)/((-3)/(-5)). Let u = 233 - 231. Let i be (456/15)/u*(-20)/(-8). Which is bigger: i or k?
i
Let l = -1 - -1. Let r be ((-30)/(-285))/(2*1/(-316)). Let n = 34406/2071 + r. Is l at most n?
False
Suppose 0 = -3*z - 2*b + 1, 4*b = 13 + 7. Let n be z + 2 + 3/((-189)/(-49)). Which is smaller: -5 or n?
-5
Let c = -2.2 - -2. Let v = 3494087/276 - 50639/4. Is c smaller than v?
True
Let p be -4 + 8 - 5 - ((-2)/(-1) - 735). Which is smaller: 727 or p?
727
Suppose -82 = 3*p - 5*i, 2*p - 38*i + 60 = -36*i. Do -15 and p have the same value?
False
Let m = 43265 - 732709/17. Which is greater: 164 or m?
m
Suppose 5*s = -8 - 17, -4*s + 4 = 3*g. Let k be -6*g/(-30)*(11 + 9). Is 230/7 <= k?
False
Let x be (-5)/(-8 - -3) + 3. Suppose -3*o + 171 = x*m - 0*o, 3*o + 63 = 2*m. Suppose 4*n = -2*a + 158, -68*a + 173 = 4*n - 63*a. Do m and n have the same value?
False
Let l(k) = -14*k - 49. Let c be l(-4). Let d(w) = -3*w + 15. Let y be d(c). Let s(n) = 14*n + 88. Let g be s(y). Is 24/5 less than g?
False
Let m be (8/(-6))/((-11)/(-132)). Let r(d) be the third derivative of -d**4/24 - d**3 - 3*d**2. Let h be r(8). Which is bigger: h or m?
h
Suppose 1992 = -4*q - 2*q. Let p = q + 288. Is -43 bigger than p?
True
Let g(v) = 2*v**3 - 3*v**2 - 10*v - 5. Let x be g(4). Let k be (-2)/(-5)*x/(-2821). Which is greater: 0 or k?
0
Suppose 104489 = 5*n + 15*n - 65231. Does 8486 = n?
True
Suppose -2*m + 5*k = -350 + 328, 5*m = -5*k + 20. Let p be 4/14 - 1972/(-7). Let u be (p/(m/3))/3. Which is smaller: u or 48?
u
Let m(f) = f**2 - 168*f - 508. Let h be m(171). Which is greater: h or 444/91?
h
Let t = 57167 - 622837/11. Does 545 = t?
False
Suppose 620*b + 12 = 624*b. Suppose 12*y - 6 = 10*y, -4*f + b = y. Is f < -12/137?
False
Suppose 7*v - 2*b + 16 = 2*v, 3*b = -v - 10. Suppose h = 4*z + 20, 3*h = 2*z + 3 + 7. Let o(x) = x + 1. Let m be o(z). Is v at least as big as m?
True
Let h(o) = -66*o - 393. Let n be h(-6). Suppose -2*l = -3*q + 74 - 89, -n*q - 18 = -3*l. Let c be (-16)/3 - (-4)/(-6). Which is smaller: c or q?
c
Let u(k) = 4*k + 1. Let c be u(4). Suppose 0 = 27*v - 8305 + 8386. Which is greater: v or c?
c
Let x = 384 + -320. Suppose 172*g - 180*g = -x. Which is greater: g or -1?
g
Suppose 0 = -65*w - 60*w - 31*w - 156. Which is bigger: w or 3/28177?
3/28177
Let t = 0.01773 - -0.20227. Let n = -2 + 2. Suppose -4*j + 2*r + 10 = n, -2*j = -2*r - 6 - 4. Is j < t?
True
Suppose 386 = 3*q - 4*d, 3*d - 37 + 159 = q. Suppose 0 = -8*h + 10*h - q. Suppose 469 - h = 6*v. Is v <= 66?
False
Let p = 9121655 - 3055756976/335. Let r = 38/5 + p. Is r not equal to -0.1?
True
Let h = -5984 - -5984. Which is smaller: 6/4825 or h?
h
Let y = -3/3997 - -3065705/7994. Is 384 <= y?
False
Let f = 2.404 + -2.234. Is 71 >= f?
True
Let g = -5/2208 - 7477/598368. Is -5 at least g?
False
Let x = -22444 - -22445. Is x at most 144/95?
True
Let w(v) = v**2 - 305*v - 3804. Let m be w(-12). Is m <= -2/20227?
False
Let y = -6.479 + 6.579. Let m = 0.02 + -0.014. Is y equal to m?
False
Suppose 0 = -5*i + 15 + 5. Suppose i*d = 1 + 3. Let m be 8/(-5 - 755)*2. Do d and m have different values?
True
Let w = 310 - 302. Let p = -7.735 + w. Which is smaller: p or 0.1?
0.1
Let k be (6/9)/(134/(-6)). Suppose 24*i - 27*i = -48. Let v = i - 33/2. Which is smaller: k or v?
v
Suppose -20 = -4*r, -77 - 452 = -3*l - 2*r. Let d = -29813 - -29987. Is l at least d?
False
Suppose 33*b - 4*r - 668 = 35*b, r + 1287 = -4*b. Is -315 equal to b?
False
Let u(q) = 95*q - 49. Let z be u(-8). Let l = z - -8097/10. Let t be (-17 - -18) + 0*(-1 - 0). Is l bigger than t?
False
Suppose 0 = -54*m + 56*m - 5*w - 465, -m + 236 = -3*w. Is m at least as big as 1.3?
True
Let f(t) = 84*t + 159. Let p be f(-3). Is -84 smaller than p?
False
Let g be (-14)/(-18) - (-2)/9. Let o = -882/67 - -759268/57687. Is g > o?
True
Suppose 20144*q + 63 = 20147*q. Do 188 and q have the same value?
False
Let j = 1577.99 - 1578. Let p(f) = -10*f**2 + 10*f - 4. Let n(s) = 2*s**2 - 2*s + 1. Let m(w) = -14*n(w) - 3*p(w). Let a be m(2). Which is smaller: j or a?
j
Let k(w) = -w**3 + 6*w**2 + 2*w - 11. Let x be k(-6). Let a = x + -414. Is -11 equal to a?
False
Suppose -210 = -28*d + 14*d. Let q(s) = 2*s**2 - 33*s + 20. Let j be q(d). Which is bigger: j or 3?
3
Let y be (40/(-12))/(1/(-3)). Let u be (-46)/y*-2 - (-13)/(-13). Which is greater: u or 8?
u
Suppose -4*d - 23 = 1. Let q be d/2 + -2 + 5. Let b = 49 + -59. Is b at least as big as q?
False
Let h(n) = -297*n + 1346. Let y be h(19). Which is smaller: -12895/3 or y?
-12895/3
Let h = 5287 - 5267. Which is smaller: h or 4?
4
Let p = 1802/21 - 502772/5859. Which is smaller: 1 or p?
p
Let a = 8109 - 4769. Let s = a + -43447/13. Which is smaller: -1 or s?
s
Let d = -100 + 100. Let k = -87 + 65. Which is greater: k or d?
d
Let g = 75/7 + -149/14. Suppose -10*v + 5*v = 5. Is v at least g?
False
Let x(w) = w**2 + 380*w + 11765. Let d be x(-34). Is d at least as big as -4/2327?
True
Let y be (8 + 67865/(-8477))/((-1)/(-103)). Is y greater than -1?
True
Let f = 1.485 + 0.415. Which is greater: f or -23/2?
f
Let a = 61 + -61. Suppose w - 41 + 43 = a. Let d be 2793/38*w/(-3). Are 49 and d equal?
True
Let n(y) = -y**3 - 5*y**2 - 2*y - 11. Let i be n(-5). Let a be 5 + (i - 4) + 15*1. Let g be (-7)/(a/48*(-4)/(-10)). Is -0.1 <= g?
False
Let s = 247 + -247.285. Let q = 1.715 - s. Is 5/6 bigger than q?
False
Let l = -9880 - -1887079/191. Which is bigger: -0.25 or l?
l
Let h = 233413 + -4434853/19. Suppose -2*t - 10 = -2*g, -7*g + 5*t + 21 = -3*g. Is h at least as big as g?
False
Let d = 5 + -6. Let x be (78/(-455))/((-20)/(-28)). Is x >= d?
True
Let y be 0*(3 - 10/4) - -8. Suppose -4*z - y*z = 5*z. Let p = 295 - 1777/6. Which is smaller: p or z?
p
Let n = 71845138/1745 + -41172. Is n <= 0?
True
Let s = -35/12 + 1289/444. Which is smaller: -1/28 or s?
-1/28
Suppose -11*r = -6199 + 1370. Is r less than 437?
False
Let v(k) = -3*k**2 + 5*k + 6. Suppose 4 + 11 = 3*u. Let a be v(u). Let p = a - -46. Are 3 and p unequal?
True
Suppose 7*t - 9 - 12 = 0. Let k(s) = 5*s**2 - 15*s - 4. Let b be k(t). Which is smaller: b or -15?
-15
Let b(g) = -g**2 - 12*g - 20. Let u be b(-10). Suppose -4 = -a, 3*p - a + u*a = 8. Suppose -2*n - c = -4*c - 92, 0 = p*n - 5*c - 188. Is n smaller than 51?
False
Let t = 130 + 27. Let a be ((-160)/(-15) - 11)*(-37 + 1). Suppose -a*h = t + 71. Is -6 less than h?
False
Let k = -453740/70407 + 2/23469. Let r(f) = -f**3 - 3*f**2 + 5*f - 2. Let h be r(-4). Are h and k equal?
False
Let z = 3969 - 3986. Which is greater: 7 or z?
7
Let m = 998 + -998. Is -3221 greater than m?
False
Let t = -9.31 + -0.29. Let z = -20.6 - t. Let p = 3.1 + -3.5. Which is bigger: p or z?
p
Suppose 0 = -218*b + 204 + 450. Which is smaller: 100/47 or b?
100/47
Let x be (6 - 3*(-21)/(-9))/1. Which is bigger: 1/1920 or x?
1/1920
Let g = -0.032 - 7.968. Let c = -39 - g. Let d = -30.9 - c. Which is smaller: d or 32?
d
Let u = 0.18939 + -161.18939. Which is greater: 91 or u?
91
Let o = 177 - 256. Suppose -9*g + 3 = -10*g, 0 = 5*r + 4*g + 417. Which is greater: r or o?
o
Let x(c) = -1040*c. Let j be x(-2). Suppose 53 = 4*q + 273. Let l be 2/11 - (j/q + 3). Is l bigger than 36?
False
Let w = 0.05 - -0.35. Let f = 0.6 - w. Suppose -5*l - 20*y = -23*y + 21, -3*y - 9 = 0. Which is bigger: l or f?
f
Let l = -57 - -23.8. Let r = l + 43.2. Is 10 > r?
False
Let t be -1 - ((-134)/6 - 11/(-33)). Suppose t = -y - 2*y. Let i be (-2)/252*-6 - 2/y. Which is greater: 0.001 or i?
i
Let v = -4 + 10.38. Let l = 1400 - 1400.38. Let n = l + v. Which is smaller: n or -1?
-1
Let d = -336 + 332. Let a be -207*d/12 + 0. Is 67 <= a?
True
Let w = 5293 + -3635. Is w less than or equal to -0.2?
False
Let u = 714.1 + -714.29. Which is bigger: u or 30?
30
Suppose 18 + 67 = 105*t - 122*t. Is 5 >= t