 j = f + 104. Which is smaller: j or 26?
j
Let c = -33473 + 33816.99. Let p = -344 + c. Which is greater: -3/17 or p?
p
Let z(a) = a**3 - a**2 - 3*a + 7. Let j be z(3). Suppose 2*w - 2*g = -16, 0 = -g - 19 + j. Let h = 3.04 + -3. Is h >= w?
True
Let u = 393 - 228. Let b = u - 0. Is b less than 164?
False
Let c = -4/839 + 30248/9229. Let r be (-1 + -1)*(-5)/(6 - 1). Which is greater: r or c?
c
Let y = 22001 - 22081. Does -99 = y?
False
Suppose -21116 = -10*i + 13*i - 5*y, -i + 4*y = 7048. Let j = 133560/19 + i. Are j and -4 equal?
False
Let q = 184 - 186.14. Let i = 0.36 - q. Let z = i + -3.5. Is 0.01 != z?
True
Let f = -1104/3091165 + -2/189255. Is f not equal to 1?
True
Let v be 3/(-1)*(-7)/((-21)/6). Let n(y) = y**2 + 7*y + 4. Let h be n(v). Let k be 20/45*3/h. Which is bigger: 6/19 or k?
6/19
Suppose -84*u + 121*u - 285085 = 377733. Are 17914 and u non-equal?
False
Let v = 2/103 - 260/23999. Is 1.5 bigger than v?
True
Let k be (-128)/5 - (-2)/(-5). Let q = k - -8. Let r be 6/(-1 + -5)*54/3. Is r smaller than q?
False
Let z be 130 + -143 + (70079/5391 - 0). Which is smaller: -1 or z?
-1
Let q = -35.93 + -0.07. Let v = q + 37. Which is bigger: -22 or v?
v
Let q be 18/(-42) - (-1272)/(-70). Let w(b) = b**3 + b**2 - b - 19. Let t be w(0). Is t at most as big as q?
True
Suppose -5679*d - 3*p = -5676*d - 3, -7*d - 4*p + 1 = 0. Is -15/3457 <= d?
False
Suppose 1388*b - 1419*b + 31 = 0. Which is smaller: b or -597?
-597
Let y = 2745 + -2458. Let d be (-865)/(-3) + (-2)/6. Which is bigger: d or y?
d
Let g be 12/8*(542/2200 + 2/(-8)). Is g >= -1?
True
Let s be (-1072)/86028*(-2 - (-10)/4). Let p be 10/25 - (-14)/(-10). Is p greater than s?
False
Let c = -0.3 + 0.2. Let s = 5491/4 - 1373. Which is greater: c or s?
c
Let r be (-10)/140*-21*18/(-60). Which is bigger: r or 30?
30
Let j = -100 + 50. Let n be -1 + -3 + -47 + 0. Which is smaller: n or j?
n
Suppose -1864 = 4*u - 4*p, -6*p + 10*p = 2*u + 922. Are u and -0.4 nonequal?
True
Let s be (0 - (-878)/(-239037246))/((-1892)/(-1278998614956)). Let n = s + -98/62604993. Let f = 2483 + n. Is f < 1?
True
Let r = -3.3 + 2.2. Let b = 0.1 + r. Let z be (49/(-1372))/(7/(-3) - -2). Which is smaller: b or z?
b
Let v(u) = -2*u**2 - u + 35. Let p be 0/((2 - 5) + 4). Let i be v(p). Let q be -2 + 1 - (-21)/i. Is q not equal to 2/49?
True
Let g = 1437 - 1437.1. Is -1.39 < g?
True
Let q(d) = -3*d**2 + 77*d - 61. Let l be q(24). Is l at most 14?
False
Let b be 1540/(-6545) + 13/(-17). Which is bigger: -3/5882 or b?
-3/5882
Suppose 19*j = 18*j + 38. Suppose f + 2 = -4*k, 12*f - 4*k = 7*f + j. Is 49/8 bigger than f?
True
Let d = 3691 - 2887. Do 804 and d have the same value?
True
Let j be (0 - -2)*1321543/(-562). Is -4704 smaller than j?
True
Let d = -130 - -134. Let o be d - 832/(-296) - 7. Is o < 0?
True
Let p = 34 + -68. Let s = p + 60. Let b = 25 - s. Is b < 0.34?
True
Let v(w) = 18*w**2 - 151*w + 66. Let y be v(10). Is y at least as big as 376?
False
Suppose -12*s + 181 = -191. Suppose 501 = -s*u + 28*u. Does u = -168?
False
Suppose -6 = -3*h + 2*d, -2*h + 1 + 22 = 5*d. Suppose 3*o + 12 = 5*b - 50, -3*o - 49 = -4*b. Let t be -1 + b - (-2 + -4 + h). Is t greater than or equal to 9?
True
Suppose 11*p - 16*p - 1085 = 0. Let i be (1*6)/(28/p). Let s = i - -47. Which is smaller: s or -0.4?
-0.4
Let f be (1/(-3))/((-2)/108). Let t = 19 - f. Is -1/442 > t?
False
Let u = -0.186 - -0.1154. Let s = 0.0294 - u. Are -4/47 and s equal?
False
Suppose 309*g - 310*g - j = -8, 3*g - 3*j + 12 = 0. Is g > 132/193?
True
Let c = -47 + 51. Let q = c + 19. Let y = 24 - q. Which is smaller: y or -16?
-16
Let r = 1766404/77 + -22940. Are 1 and r unequal?
True
Let i be (-4)/(-5) - 1972/(-85). Let l = i - 18. Suppose 0 = l*n + 14 - 50. Which is smaller: 7 or n?
n
Let u = -41 - 364. Is -405 smaller than u?
False
Let v(l) = -77*l + 384. Let m be v(5). Which is bigger: 3/3808 or m?
3/3808
Suppose -4*x = -5*x + 3, 0 = g + x + 4. Let a be (4/(-10))/(g/(-5)). Let i = 364.9 - 365.5. Is a smaller than i?
False
Let w = -75 - -78. Suppose 4*z = 2*t - 14 - 12, w*t + 2*z - 15 = 0. Is t bigger than 25?
False
Let x = -9 + 8. Let q be -1 + (-3 - (0 + x)). Let i = 24 - 26. Is q > i?
False
Suppose 2*a - 53 = -0*a + 5*l, 3*a - 96 = 2*l. Let z = a + -34. Suppose -5*y - 3*t - 127 = z, -y + t - 19 = -0*y. Which is smaller: -24 or y?
-24
Let g = 96789760/175831 - 9358/17. Which is greater: g or 1?
1
Let u = -25652 - -25651. Is u at least as big as -210/143?
True
Let m(p) = p**3 - 14*p**2 - p + 21. Suppose -9 = 2*u - 37. Let n be m(u). Do 5 and n have the same value?
False
Suppose 5*v - 58 = -13. Let p be (24 - 2)*1/(6/v). Let u be -1 - (p/(-7) - -4). Which is greater: u or -1?
u
Suppose -2936*f = -2962*f + 572. Let j(i) = 2*i**2 - 6*i + 2. Let m be j(5). Do m and f have different values?
False
Let g be 389 - 7*(-66)/154. Which is smaller: 4/7 or g?
4/7
Suppose -2*h - 6 = -28. Suppose -3*v + h = 2. Suppose 0 = 4*s, 2*p - 3*p - 5 = v*s. Is p greater than or equal to -4?
False
Let v = -6160 + 2687. Is -3472 bigger than v?
True
Let p be 1/4*(-4)/(-29). Suppose 47*o = 50*o + 15. Let f be 2 + -4 - (2 + o)/3. Is p < f?
False
Let d(y) = 4*y**2 + 79*y - 21. Let j = 271 - 291. Let i be d(j). Is -8/85 smaller than i?
False
Let k be (-20)/90 - (1425/27 + -1). Let f = 41 + -204/5. Which is greater: k or f?
f
Let g = 4885 + -4883. Is -59/4 smaller than g?
True
Let m = -19.136 - -445.486. Let w = 291.3 - m. Let r = 135 + w. Is -5 not equal to r?
True
Let q(l) be the second derivative of l**5/20 + 2*l**4/3 + l**3/6 + 9*l**2/2 - 7*l. Let s be q(-8). Let j be (10 + 0)/(s/(-1)). Are -2 and j non-equal?
True
Suppose 0 = -z + 4*z. Suppose -10*o + 325 = -5*o. Let s = -2273/35 + o. Which is bigger: z or s?
s
Let s(v) = v**3 + 4*v**2 - v - 1720. Let a be s(0). Let u be (-1266)/a + 18/(-24). Is 0 >= u?
True
Suppose -r + 3*x - 8 - 6 = 0, -24 = r - 5*x. Let l be -4*r/(-2)*-4. Let v be (-2)/9 - l*102/756. Are 1 and v nonequal?
True
Let g(z) = -7*z - 1. Let q be g(1). Let a(m) = m - 2. Let l be a(q). Let o(r) = -r**3 + 38*r**2 + 6*r + 6808. Let s be o(42). Is l > s?
False
Let r = 16 - 17. Let i be 76*((-19)/12 - 2/(-6)). Let z = i + 99. Which is smaller: r or z?
r
Let z(s) = -3438*s + 3437*s + 48 - s**2 + 0*s**2. Let k be z(-10). Which is bigger: 0.2 or k?
0.2
Let i = 40 + -52. Suppose w - 9 = -14, w = 3*z + 34. Do i and z have the same value?
False
Let g(w) = -3 - 7 + 7*w - 3 + 8*w. Let s be g(4). Is 46 equal to s?
False
Let q be ((-2)/110)/(1165/(-25)). Which is bigger: q or -1?
q
Let j = -747 + 324. Let t = j - -1711/4. Which is smaller: -4 or t?
-4
Let z = 709 + -308. Suppose -6*f - z = -131. Let n = -7 - f. Is n at most as big as 38?
True
Let a(g) = -2*g**2 + 70*g - 29. Let i be a(4). Does i = 211?
False
Let b(c) = c**2 + 20*c + 27. Let p be b(-18). Let q be 2/(((-1)/(-18))/(p/12)). Let z = q + 65. Which is bigger: z or 37?
z
Let c = 441.7 - 440.5. Is c at most as big as -97?
False
Let k = 3.0317 - -0.1683. Which is bigger: k or -1?
k
Let p(c) = 113*c**3 - 3*c**2 + 12*c - 16. Let u be p(2). Do 900 and u have the same value?
True
Let y(x) = -2*x**2 - 31*x - 48. Let p be y(-14). Let q be ((-184)/(-1) - p) + 0 + 5. Which is smaller: q or 387/2?
387/2
Let u(z) = -z**2 - 24*z - 91. Let t be u(-5). Suppose t*x - 3*c = -71, -3*x - 17 = -15*c + 20*c. Which is greater: x or 3?
3
Let d = -24 - -23.15. Let f = -1.679 - -3.679. Is f smaller than d?
False
Let t = -6 - -7. Suppose -5*c + 175 = 3*u, -2*c + 0*c - 73 = -u. Which is bigger: t or u?
u
Suppose 0 = -24*h + 22*h + 1080. Let q = h - 1399. Let k = q + 11159/13. Is k smaller than -0.1?
True
Let c = -2253.84 + 2254. Is 11 < c?
False
Let c = 4 + -2. Let v(o) = -o**2 + 8*o - 10. Suppose 6*t - 10*t + 12 = 4*x, 5 = t + 3*x. Let l be v(t). Are c and l non-equal?
False
Suppose -236 = -3*z + h - 1826, 530 = -z + h. Which is greater: z or -529?
-529
Let z = 59266/371 + -1304/53. Let u = z + -136. Is 0 at most u?
False
Let d(p) = -80*p - 2317. Let r be d(-29). Let n be 3 - (-99)/39 - 4. Is r at least as big as n?
True
Let w(k) = 34*k + 192. Let f be w(-6). Let a be f/3 - (96 - (-2)/(-1)). Are a and -487/5 nonequal?
True
Let p = 297 + -225. Let l = -72 + p. Is -2 smaller than l?
True
Let s = -19 - -39. Suppose -s = -10*r + 6*r. Let t be (-7)/9 - (r + 