 + 1. Let c = -52 + 1. Let t = c + 203/4. Which is smaller: t or w?
t
Suppose -4*d = 0, -t - 31*d - 2 = -34*d. Let p be (-59)/63 + (-2)/(-9). Is p smaller than t?
False
Let v be 40/5 + (6 - (-66)/(-6)). Let f = 1/13 - -37/26. Which is smaller: v or f?
f
Suppose -v + 40 = -5*z, 4*v - 2*z - 2*z - 128 = 0. Which is smaller: v or 31?
v
Let h be (28/(-784))/(2/(32/(-282))). Does 0 = h?
False
Suppose 67*k - 3060 = 55*k. Which is smaller: 259 or k?
k
Let z be (-51)/(-68) - (-1)/4. Let o(j) = 14*j**3 + j**2 - 3*j + 2. Let h be o(z). Which is smaller: 16 or h?
h
Let a = -26 + 28. Suppose a*s + 9 = -y, -4*s + 9*s + 50 = -5*y. Let g be ((-5)/(-2))/(3/(-12)). Is g at most y?
False
Let d(b) = b - 8. Let y be d(5). Let v be (3 + -2)/(y/6) - -33. Which is smaller: v or 30?
30
Let k(s) = s + 8. Let x be k(-5). Suppose 0 = 5*p + 2*h - 20, 4*h = -5*p + x*h + 20. Suppose -p*i = -4*q + 4, 3*i + 0*i + 2 = 2*q. Is q >= 1?
True
Let o be -3*(-184)/270 - (-3 + 5). Is o bigger than 1?
False
Let v be ((-3)/(-9))/((-4)/(-72)) + 114. Is -2 greater than or equal to v?
False
Let h be (-2178)/33 + 1*-4. Which is greater: h or -69?
-69
Let s = -52 - -52. Suppose s = 5*h - 12*h. Which is greater: 1/47 or h?
1/47
Suppose 3*c = -0*c. Let x = c - 1/2. Suppose -3*s - 7 = 5*j - 0*s, -2*j = 4*s. Are j and x unequal?
True
Let u = -2.99 - 0.01. Let s = -19/4 + 93/20. Let j = 3/5 + s. Is u at most j?
True
Let u = 7 + -4. Let s = 1495291413/415937780 + -136/442487. Let a = s + 1/188. Which is smaller: u or a?
u
Let x be 3 - ((-15)/1)/(-5). Suppose x = 4*z + z - 5. Which is smaller: 3/7 or z?
3/7
Let k = 6777 - 1511274/223. Which is bigger: k or -1?
k
Let y be (541/(-2288))/1 + (41 - 41). Let p = -1/176 - y. Is -1 <= p?
True
Let f be (-12)/4*(3 + -4). Let d(o) = 3*o**f + 0*o**3 - 2*o**3 - 17*o**2. Let m be d(17). Is m > 0?
False
Let q be (-1062)/150 - (-16)/200. Is q <= -95/17?
True
Let s(q) = -q**3 + 14*q**2 - q - 2. Let z be s(14). Suppose 4*r - r = 39. Let t = r + z. Is 1 > t?
True
Let g = 0.654 + -12.654. Is 26 != g?
True
Let t = -163594/17 + 9626. Does 4 = t?
False
Suppose 5*z = -4*g - 18, 2*g - 4*g + 2 = -3*z. Let t be -1*6 + -3 + z. Let q be (-16)/(-4) - 3 - 12. Is q < t?
False
Let m(h) = -h**3 - 5*h**2 - 4*h - 4. Let t be m(-4). Let u be 4 - t/(-56)*2036. Let z = u + 141. Is 0 >= z?
True
Suppose -4352 = -q - 3*q + 2*d, 3*q - 3271 = 5*d. Is q bigger than 1088?
False
Let i = -2149/2586 + -1/431. Which is smaller: 6 or i?
i
Let x = -1.636 + 1.436. Let a be ((-1)/(-9))/(30/9). Which is smaller: a or x?
x
Let i(f) = -f**2 + 18*f + 111. Let q be i(21). Do q and 49 have the same value?
False
Let h = 0.4 + -2.39. Let v = h - 0.01. Let a = 1 + v. Which is smaller: a or 3?
a
Let l = 9 - 13. Let g = -0.264 + -4.736. Is l != g?
True
Let x = -5 + 0. Let z be 16/x*50/(-20). Suppose z*t - 3*t = r - 46, -2*r = -2*t - 20. Is t bigger than -9?
False
Let m = 31 - 21. Suppose -3*v = -m*v. Suppose -o - 2 = o. Are v and o equal?
False
Let r(z) = -z**2 + 8*z + 21. Let u be r(9). Suppose -4*j - 4 + u = 0. Let l(d) = -d**2 - d + 2. Let g be l(-2). Which is smaller: j or g?
g
Let j(u) = 26*u + 1. Suppose n - 2 = -3. Let w be j(n). Are -25 and w equal?
True
Let f = 3 + -5. Let s = -0.015 + -0.985. Let v = s + 1.2. Is v smaller than f?
False
Let o = -0.21 + 0.22. Let g = 0.05 + o. Let w = g + 0.08. Is 2/5 at most as big as w?
False
Let n = 0.05 + -1.05. Let l = -3.88 - -4. Let s = l - 0.22. Which is smaller: n or s?
n
Let r = 538/2717 + -4/247. Is 0.04 greater than r?
False
Let d = -51 + 75. Suppose 9*o - 27 = -0*o. Suppose 5*k = 4*y - 7*y, 3*y - o*k = d. Which is greater: 6 or y?
6
Let m be ((-6)/12)/(4/528). Let a = m - -17. Which is smaller: -48 or a?
a
Let d(i) = i**3 + 10*i**2 + 11*i + 19. Let s be d(-9). Let j(a) = -4*a**2 - a + 1. Let h be j(s). Do -7 and h have the same value?
False
Suppose -j + 6 = f, -2*f + 0*j = 5*j - 24. Suppose -74 = 7*s + 3. Let l = 11 + s. Is f smaller than l?
False
Let w = 0.0535 - 13.1035. Let v = w + 0.05. Let m = 13.1 + v. Is m at least 7?
False
Let c be (-6)/15*(-35)/28. Which is bigger: -52 or c?
c
Let q = -407 + 401. Let d(x) = -2*x**3 + 3*x**2 - 2*x. Let s be d(2). Which is smaller: s or q?
s
Let q(c) = -2*c - 7. Let p be q(-2). Suppose -5*k + 16 = 3*r - 2, -4*r + 3*k - 5 = 0. Suppose 3*m = -11 - r. Which is greater: p or m?
p
Suppose 3*h = -0*h + 6. Suppose -5*t + 2*g = -10, -5*t - h*g = -5*g - 5. Let m = t - -2. Is m < 6?
False
Suppose -3*q - 42 = -p, -5*p - 3*q = -54 - 138. Let r be (-6)/18 + 10/p. Let u = 0 - 1. Are u and r unequal?
True
Suppose 81*z + 90 = 76*z. Let b be (-1 - 3) + 8 + z. Is b less than or equal to -14?
True
Let v(q) = 22*q**2 + q - 1. Let c be v(1). Let k be 4/c*(-14)/(-4). Which is smaller: k or 2?
k
Let r = 6.4 + -7.04. Let u = r + 1.64. Which is greater: -55 or u?
u
Let d = 13 + -17.4. Let r = d + 4.63. Which is smaller: r or -2/5?
-2/5
Suppose -4*o - d - 45 = 0, o + 387*d - 391*d = -7. Let f = -21 - -10. Does o = f?
True
Let i = 23377/882 - 2/441. Is 27 > i?
True
Suppose 0 = -7*k - 13 - 78. Let a be ((-13)/k)/((-1)/13). Does -11 = a?
False
Suppose 17*a + 22 = 5. Which is greater: 4/123 or a?
4/123
Suppose -4*i + 19 = -37. Suppose 8 = -3*t + 2*a, -2*t + t - 5*a = i. Which is smaller: t or -6?
-6
Suppose 2*m + 0*m - 4*l + 4 = 0, -l = -5*m - 1. Suppose 0 = -5*i + 1 + 9. Is i != m?
True
Let i = -17 + 12. Let x = 12 + -13. Let h be (-1)/((-1)/x) - 2. Is h != i?
True
Let x = -711/2768 + 12/173. Let z be (-4)/5 + (-3)/15. Which is smaller: x or z?
z
Suppose 0 = 17*t + 19185 - 5704. Which is greater: -792 or t?
-792
Let k be (-6)/9*81/(-18) + -97. Which is smaller: -92 or k?
k
Let y = -32 - -32.28. Let c = -1.28 + y. Is c equal to -8/3?
False
Let f = 0 - 10. Let v = 28 - 31. Is v at most f?
False
Let k = -1/7380 + 14773/95940. Let o(d) = -d - 2. Let z be o(-2). Is z less than or equal to k?
True
Let s(h) = -h - 5. Let f(a) = -2*a - 11. Let z(v) = -4*f(v) + 9*s(v). Let m be z(-3). Suppose m*x - d = -17, -2*d = -2*x + 2*d - 32. Is x < -7?
False
Let h = 132.1 - 132. Which is smaller: h or -43?
-43
Let b = 1078 - 1360. Is b at most -2/11?
True
Let l(n) = -2*n + 12. Let w be l(6). Let f = w - -6. Suppose -4*z - 10 = f. Which is greater: -5 or z?
z
Let v = 600 + -599.98. Which is smaller: v or -1/21?
-1/21
Let x be (-45)/(-6)*(-4)/((-96)/(-44)). Which is smaller: -1 or x?
x
Let g = 163 - 123. Is 40 less than g?
False
Let w be -4 - (-702)/(1 + -4). Let a be w/8 - (-8)/(-32). Do a and -30 have different values?
False
Let p be (0 - 0)/(6/3). Suppose -2*g + 1 = -3. Suppose g*l - 2 = 2. Which is smaller: p or l?
p
Suppose 4*q + 44 = w, -2*w + 82 = 4*q - 6*q. Let g = w - 18. Let d be 1/((-24)/g) + 1. Is 0 at least d?
False
Suppose 0 = -3*g - 3*h + 3, -14*g - 13 = -17*g + 2*h. Which is smaller: 40 or g?
g
Suppose 5*d - 3*q = 3735, -9*d + 6*q + 1494 = -7*d. Which is smaller: 746 or d?
746
Let o be (-2 + 1)/(14/(-4)). Let z = 301.4 + -300.91. Which is smaller: o or z?
o
Let z(g) be the third derivative of g**6/120 + g**5/10 + g**4/12 + 2*g**3 + 21*g**2. Let w be z(-6). Is w not equal to -0.18?
True
Let h = 7.94 - 7.84. Which is bigger: h or -1.42?
h
Let g = -16/27 + 998/1593. Let x = 4 + -3. Which is smaller: x or g?
g
Let z = 1964 + -1964.3. Let h be (1 + 0)/((-5)/(-3)). Which is smaller: h or z?
z
Let r = 6 + -5. Let q = -0.19 - 0.71. Let o = q + r. Which is smaller: 2 or o?
o
Let y be 1 + -1*(-2 - -4). Let b(v) = -2*v**3 - 6*v**2 + 5*v - 1. Let x be b(-6). Let c = x - 1300/7. Is c < y?
False
Let d be (2 + 18)*1/4. Which is smaller: d or 4?
4
Suppose -153 = -66*t - 9855. Is t smaller than -147?
False
Suppose -3*f + a + 96 = 2*a, -f - a = -30. Let j = -1 + f. Is 1 less than j?
True
Let t = -256 + 257. Is 0.19 at least as big as t?
False
Let q(y) = y**2 - 3*y + 2. Let p be q(1). Let u be (561/340)/((-12)/(-10)). Which is smaller: p or u?
p
Let w be 2*((-1072)/128)/(2/(-56)). Which is greater: w or 471?
471
Let v = 264668579/282458 + -19210/3817. Let b = -932 + v. Do 1 and b have different values?
True
Let k(s) = s. Let q(f) = 3*f + 17. Let z(r) = -k(r) + q(r). Let d be z(-5). Is 7 at least as big as d?
True
Let k = 212 + -266. Does k = -1?
False
Let n = 64 + -64. Is n at least as big as -12?
True
Suppose 11255 = 21*a + 41. Which is smaller: 535 or a?
a
Let o 