 + h. Is p < v?
False
Let l be 0 - (189/28)/(3/(-40)). Suppose 0 = -9*r + 9 + l. Let a(t) = -t**2 + 19*t - 42. Let m be a(r). Is m smaller than 46?
False
Let p = 4562.73 - 4562.7. Let k = 4/21 - 37/84. Is p less than k?
False
Let q be 2*(5*5/25 - 82). Let p = -317 - q. Do -156 and p have different values?
True
Let n(j) = -25*j + 229. Let k be n(11). Is -60 <= k?
True
Suppose -17 = -w - 53. Let c(i) = -33*i + 55*i - 23*i - 54. Let x be c(-17). Is x != w?
True
Let k = -505/4 + -1109/28. Is k smaller than -167?
False
Let x = -1443.3 + 1627. Which is smaller: x or -2?
-2
Let q be 106/34 + (-18)/153. Is -5/347 at least q?
False
Let j be 438/30 + 9/(-15). Suppose -j*q + 12 = -8*q. Suppose -q = 5*p - g, -5*p - 3 - 7 = -5*g. Is 2/105 greater than or equal to p?
True
Let v(q) = 7*q**2 + 23*q + 64. Let z(g) = -6*g**2 - 21*g - 64. Let j(d) = 4*v(d) + 5*z(d). Let r be j(-11). Which is smaller: r or -161?
r
Let x = 3801 + -4385. Is -5 equal to x?
False
Suppose 161 - 46 = -a - 151. Which is smaller: -268 or a?
-268
Let i = 1.627 - 1.927. Is i bigger than -12.95?
True
Suppose -51927 = -775*b + 743*b + 133737. Do 5802 and b have different values?
False
Let d be 0*(90/18 - 4). Which is bigger: d or 52/453?
52/453
Suppose 4*o + 20 = 5*x - o, -4*o = -3*x + 12. Let y = 4 - x. Let u = -931 - -8378/9. Is y less than u?
False
Suppose -y = -h - 48, -y + 4*y + 4*h = 130. Let l = -22 + y. Suppose 10*k + 26 + l = 0. Which is greater: -6 or k?
k
Let z = -1727 - -1686. Suppose -168 = 4*p + 4*v, -2*p + 3*v - 90 = 7*v. Is z bigger than p?
False
Let w = -1.2 + -2. Let l(v) = -131*v + 12179. Let k be l(93). Is w less than k?
False
Let i be ((-568)/(-64)*-2)/((-1)/4). Suppose -i = -24*w + 121. Is -3.7 smaller than w?
True
Let w(c) = 40*c + 19. Suppose 4*v = -n + 11, 17 = -2*v - 0*v - 5*n. Let j be w(v). Is 179 <= j?
True
Suppose -5*v - 391 - 59 = 0. Let s = 83 + v. Which is greater: 6 or s?
6
Suppose -3*d = -16*d + 26. Suppose 304 = d*j + 2*j. Let y = 49 - j. Does y = -27?
True
Let u be (3/(-84))/(2/(-12)). Suppose -202*o - 106 - 352 = -54. Which is greater: o or u?
u
Suppose 0 = -g + 5*f, 4*g = -0*f - 2*f + 22. Let y be 2 + -19*12/(-75). Which is smaller: g or y?
g
Let g(q) = -3*q - 11 - 6*q + 12*q. Let c be g(-7). Is -32 < c?
False
Suppose -5*t + 21 = -2*k, 5*t - 10*k - 23 = -9*k. Suppose -5*p = -4*h + 47, 0 = t*h + p - 58 - 37. Which is smaller: h or 16?
16
Let x = -4 - -4. Let p = -7 + x. Let a(s) = 3*s**2 - 23*s - 14. Let q be a(8). Are p and q equal?
False
Let g = -8820 - -8820.4. Which is greater: 824 or g?
824
Let s be 2080/(-65520) + ((4/(-14))/2)/(-1). Let m be ((-6)/16)/(6/4). Is s less than or equal to m?
False
Suppose 0 = y + 4*x + 18, -5*y = -0*y - 3*x + 21. Let p be (-399)/(-14)*(-8)/y. Let q be (-66)/(-22) - 112/p. Is -1/2 < q?
True
Let b be (0 - -1)/(4/4). Let a be (27/8)/((-1581)/(-34) - 36). Is a != b?
True
Let b = -25.0301 + 0.0301. Which is bigger: 3/4 or b?
3/4
Let t = 2615/176 - 559/48. Which is bigger: 4 or t?
4
Let j be (-118)/299 + ((-160)/(-184))/10. Suppose 8 = 3*n - n. Suppose 0 = -2*v + n*v - 2. Which is smaller: j or v?
j
Let t(u) = 12*u + 1192. Let s be t(-105). Which is smaller: s or 2?
s
Let x(g) = g**3 - 74*g**2 - 837*g - 169. Let c be x(84). Is c at least 584/7?
False
Let h = -45.54 - 0.46. Let q = 5 - h. Let i = 39 - q. Which is bigger: 4 or i?
4
Let i = -6476 + 5879. Which is bigger: -604 or i?
i
Suppose -5*w + r - 33 = 0, -3*w + 4*w - 3*r + 15 = 0. Is w >= -153/31?
False
Let w = -123 - -125. Suppose w = -5*f - 28. Which is smaller: f or -4/3?
f
Let m = -19.56 - -19.66. Which is smaller: m or -0.653?
-0.653
Let x(k) = 5*k - 42. Suppose 2*v - 3*b = -v + 21, 3*b = 2*v - 13. Let d be x(v). Which is smaller: -1/3 or d?
d
Let j be -3 - ((-2 - 1) + 1)*34. Let m = 63 - j. Let i be 1287/(-319) - m*2. Which is greater: i or 1?
1
Suppose -5*d - 39 = 2*x, 0 = -x - 2*x + 2*d - 68. Let c = x - 57. Do -80 and c have different values?
True
Suppose -l + 4 = l. Let z be 55/(-1) - 18/6. Let a = 64 + z. Which is smaller: a or l?
l
Let s(j) = 10*j + 38. Let v be s(-11). Let r be 30/v + (-6)/(-9). Which is smaller: r or -0.02?
-0.02
Let p be (3 + -8)/((-1)/1). Let l = 1260 - 12561/10. Which is bigger: l or p?
p
Let o be (56/(-30) - -2) + (-1352)/15. Let z = o - -67. Is -23 less than z?
False
Let c = -57 - -46. Let a(i) = 4*i + 8. Let h(r) = r + 1. Let p(v) = 6*a(v) - 30*h(v). Let z be p(5). Is z > c?
False
Let g(y) = -33*y - 1278. Let t be g(-139). Is t smaller than 3308?
False
Let u = 33199 - 43998. Is u at most as big as -10798?
True
Let f = 3506/3 + -1189. Let m = 1031/51 + f. Let d be (-3)/((-9)/6) - (-32)/(-14). Is d < m?
True
Suppose 23*y - 18*y = -645. Let p = 142 + y. Is p <= 0.5?
False
Suppose -5*g + 106 = -54. Suppose g = -2*d + 152. Let l = -60 + d. Which is bigger: l or -6/7?
l
Suppose -4*p = -3*d + 9, -5*p + 3*d = -0*d + 15. Suppose -12 = -3*l + 12. Let n(y) = -y**3 + 8*y**2 + y - 11. Let t be n(l). Which is bigger: t or p?
t
Let i = 327 - -1979. Which is smaller: 2305 or i?
2305
Let z(t) = -t**3 + t**2 - 8*t + 4. Let s be z(3). Let p(v) = v**3 - 57*v**2 - 3*v - 2 - 3 + 4 + 55*v**2. Let r be p(-3). Do s and r have different values?
True
Suppose 202*k - 9624 - 98 = 2398. Let m(w) = -60*w**3 - 1. Let c be m(-1). Is c smaller than k?
True
Suppose 57 = -6*u + 3*u. Let g = -300 - -316. Let v = u + g. Which is bigger: v or 0.07?
0.07
Let g(b) = -b + 12. Let z = 144 + -60. Suppose 0 = u + 6*u - z. Let x be g(u). Is -5 less than or equal to x?
True
Let z = -283 - -448. Suppose 5*o - 724 = -2*y, 0 = z*o - 167*o - 2*y + 292. Is o < 144?
False
Let b be 3*1*(-4 + (-70)/(-15)). Let y be (-2)/(-4) - 4/48*b. Let c = -2/15 + y. Are -0.05 and c equal?
False
Suppose 0 = x - 2*q - 6, 5*x - x - 3 = q. Let a be 1 + x + (-8)/(32/132). Let c be (a + 32)/(1 - (1 - 1)). Do 1/12 and c have the same value?
False
Let x = -2.26 + -0.44. Which is greater: 3 or x?
3
Let d be (-2)/69*(-3198)/(-1148). Is d less than or equal to -1?
False
Let a be 1/517*((-6)/(-23))/6. Which is smaller: a or 0?
0
Let i be -1 + 1 + -1 - 16. Suppose 13*b + 50 = 6*b - 6. Is b less than or equal to i?
False
Suppose 44*y + 31*y + 525 = 0. Which is smaller: y or -13/2?
y
Suppose 0 = 2*u - 4*u - 5*k, -3*u - 14 = 4*k. Let h be u*((-3)/(-5) + 8/(-40)). Do h and -4 have the same value?
True
Suppose 50*b - 54*b + 8 = 0. Suppose -b*x + 56 = 36. Are x and -1/5 equal?
False
Let u = -3490335/4 - -2174472761/2492. Let l = u + 5/178. Which is smaller: -3 or l?
-3
Let f = 2.9 - -1.1. Let g = -6.1 - -6.0902. Let i = g - -0.0098. Which is greater: f or i?
f
Let p be (-1 + 1)*(-11)/(-33). Let u be (p - 4)*(-4)/16. Let b = -156409/38 + 4116. Which is greater: b or u?
u
Let y = -57 - -53. Let u be (-16 - -12)*(-9)/y. Let o = 30/11 + -431/33. Is u smaller than o?
False
Let f = 80/2783 - -10040504/19481. Is 515 at most f?
True
Let s be (-64)/(-40) + (-650271)/(-191265) + -5. Which is smaller: -1 or s?
-1
Let k = 25642 + -25633. Is 40 equal to k?
False
Suppose -2*z - 175 = -3*z. Let l be (235857/1365 - 2/(-13)) + 2. Let s = l - z. Do s and 0 have the same value?
False
Suppose o = 5*o + 136. Let c be (2 - 80/6)/((-616)/(-66) + -9). Is o < c?
False
Suppose 4*d + 3*g + 13 = 0, 0 = 3*d + 2*d + 2*g + 11. Let w be 3 + 0 + (d - -48). Let t = w - 51. Which is smaller: 0 or t?
t
Let x = 39425 + -1261597/32. Is x != -140?
True
Suppose -26 + 702 = -14*d - 780. Is -21 less than or equal to d?
False
Let y be 1486754/120 + (9/5 - 2). Let c = y + -12398. Let t = c - -52/3. Which is greater: 9 or t?
9
Let c be 3*4/6*95. Let v = -133 + c. Let g = -172/3 + v. Which is smaller: 0.2 or g?
g
Let u = -11 + 6. Let g = -38 + u. Let c = g - -42.81. Is c at least as big as -0.1?
False
Let o = -18 + 17. Let k = 22723/11 - 2066. Which is smaller: k or o?
o
Let f = 26782/5 - 5351. Which is smaller: 5 or f?
5
Suppose -3*m - 18 + 6 = -5*t, -4*t + 7 = -5*m. Let o = 77461/180 + -3749/20. Let i = o - 242. Are i and m equal?
False
Let u = 119 - 493. Let k = u - -373.68. Which is smaller: k or -0.1?
k
Let d be ((-64)/(-10))/(2/10). Suppose -2*b = 2*b + d. Suppose 0 = 2*k - 5*i + 11, 965 - 969 = k - 4*i. Is k at least as big as b?
True
Let r = 1885/3 + -629. Let m be 24/(-8) + (-3)/((-6)/(-82)). Is m < r?
True
Suppose -3*o = -0*o - 57. Suppose -5*c - 191