 bigger than b?
True
Let q = 39.14 - 5.44. Let g = -46 + q. Let h = 12 + g. Is h > 1?
False
Suppose 33 = 2*z + 25. Let o be (-210)/9 - (-2)/6. Let y be 4/14 - o/(-7). Does z = y?
False
Let m = -276168877/4930 - -324791/290. Let p = 54871 + m. Let l = -27 - p. Does 1 = l?
False
Suppose -145 = -2*c + 7*c. Suppose -3*m + 10 - 94 = 0. Do m and c have different values?
True
Let l be ((-3)/(-2))/((-3)/(-18)). Let x = l - 8. Let o be 2/3 - (-2 + 3). Which is greater: x or o?
x
Let g(d) = -d**3 + 2*d**2 - 6*d. Let n be g(-4). Which is smaller: n or 119?
119
Suppose -37 = 3*r - 19. Let o be ((2 + -1)/2)/(r/36). Which is smaller: o or 4?
o
Let g = 5 + -36/7. Let u be ((-260)/(-6))/(2/(-24)*-8). Let v = u + -66. Are g and v nonequal?
True
Let f = 1005/8 - 3049/24. Let u = -47/20 - f. Is u greater than or equal to -2?
True
Let y be ((-775)/165)/5 + 1. Let q = 0.1 - 0.1. Let j = q + 1. Is y != j?
True
Let u = 48.9782 + 0.0218. Which is smaller: u or 1?
1
Let b(y) = -y**2 - 3*y - 3. Let k be b(-2). Let m(n) = -9*n - 9. Let c be m(-3). Let z be 3 + 0 - c/7. Is z less than k?
False
Let w = 4 + -3. Let n = 1/1419 - -85/1419. Let r = 43/165 - n. Which is bigger: w or r?
w
Let q = 21019/934 - 2/467. Let w = -23 + q. Which is smaller: w or 0.09?
w
Let p = 15 - 27. Which is greater: p or -11?
-11
Let t be (4/(-12))/((-12)/(-108)). Which is bigger: t or -21?
t
Let c = 2119770/103 - 20580. Which is smaller: 0 or c?
0
Let s be 3 - 4 - (19 - -1). Let w = -22 - s. Is w equal to 5/11?
False
Let l = -148 + 124. Let t be -4 + 8 + 94/l. Is t > 0?
True
Let d be (-1)/(-2) - (-142)/4. Suppose -3*j + 4*n - d = -n, 4*j + 77 = -3*n. Is -17 not equal to j?
False
Let j be 15/((-15)/(-2)) + (-2920)/1424. Which is greater: j or -1?
j
Let a = -0.043 - -1.553. Let f = 0.41 - a. Does 1/2 = f?
False
Let h be (-12)/8*(1 + -11). Suppose -29*a - 40 = -33*a. Let z be (13 + -10)/(2/a). Do z and h have the same value?
True
Let p be ((-1)/2)/(531/106 + -5). Let o = p + 50. Which is smaller: -5 or o?
-5
Let x = 6 + -5. Let c = 1 + x. Let s = -1.5 + 1.3. Is s at most as big as c?
True
Let w = 0.0798 + -4.0798. Which is bigger: -3 or w?
-3
Suppose 33 - 33 = -2*b. Are -3/35 and b equal?
False
Suppose -2*p + 32 = 30. Which is bigger: p or -6/77?
p
Let a = -683 - -705. Is a > -8?
True
Suppose -15 = 5*z, 190 - 67 = -3*h - 5*z. Let f be (14/(-4))/((-2)/(-20)). Is h smaller than f?
True
Let i = -15.653 + 15.7. Which is bigger: i or -1?
i
Suppose 0 = -5*c + 12*c. Suppose -4*u + c = 4. Is u at least -2/15?
False
Suppose -10 = -7*w + 4. Let a = -2 + 4. Suppose -2 = -a*d - 0. Which is bigger: w or d?
w
Let p = 811 + -799. Which is greater: -14 or p?
p
Let n = 205/2 - 101. Suppose -4*q - 2 = 2*l, -l + q - 1 = -3. Do n and l have the same value?
False
Let t = -8431907/659 + 12795. Is t smaller than 0?
True
Suppose 0 = -f - 5*b - 26, f + 10 = -2*b - 1. Let l = -121 - -286. Let k = 1812/11 - l. Is f <= k?
True
Let b be 1*1/2*32. Let d be (38/(-4))/(b/96). Do -57 and d have different values?
False
Suppose 52*n - 258 - 54 = 0. Let l be 4/15 + (-1)/(-3). Let v = l - 1/10. Which is smaller: n or v?
v
Let z(h) = -h**3 + 5*h**2 + 4*h - 2. Let g be z(7). Let t be 101/(-18) + 16/g. Is -6 < t?
True
Let h = 882 - 410. Which is smaller: h or 473?
h
Let f = 20 - 0. Let d = 22 - f. Which is smaller: 4/5 or d?
4/5
Suppose d = 2*d - 3*t + 12, 5*d - 5*t = -20. Let b(s) = 3*s - 13. Let j be b(6). Suppose 5*v - 5 - 5 = 0, -8 = -j*g + v. Is g at most d?
False
Let o = -31 - -22. Let w = -1.51 - -1. Let v = w + -0.49. Which is bigger: o or v?
v
Let t be -9*(-70)/20*(-2)/(-3). Are 16 and t equal?
False
Let o be 8/52 - (-4 + (-2290)/(-520)). Suppose 2*s + v = 3, 3*s = 2*v - 11 - 2. Do s and o have different values?
True
Let c be 24*1*(-4)/(-12). Which is smaller: c or 14?
c
Let w = 3090 + -71058/23. Which is smaller: w or 2?
w
Let u be (-5*1 - -1) + 0/(-3). Suppose -5*m + 9*y = 4*y + 15, 0 = 5*m - 2*y. Let a be m/(-2*1) - 4. Which is smaller: a or u?
a
Suppose 81*b + 64*b = -13920. Which is smaller: -93 or b?
b
Let a(c) = 89*c + 593. Let m be a(-7). Are m and -19 equal?
False
Suppose -5 = -4*c + 5*c. Let l(q) = 20*q + 21. Let a be l(c). Which is greater: a or -80?
a
Let y = 2090 - 2071.79. Let s = -18 + y. Let p = -0.25 + s. Does -2 = p?
False
Let r = 4 + -1. Let g = -2.14 + -0.86. Let w = r + g. Is 1 less than or equal to w?
False
Let w = -191 + 379/2. Which is smaller: w or -2?
-2
Suppose 5*f = f + 4*x + 252, 0 = -2*f + 3*x + 128. Suppose 0 = -5*h + 4*p + f, 4*h + 0*h + 5*p = 16. Let q = 0.4 - -0.6. Is h smaller than q?
False
Let k = 19 - 36. Let x = k - -17.9. Let t be (-200)/455 - (108/78)/(-9). Which is greater: x or t?
x
Suppose -2*x = -x. Let q be 5 + (-5)/155 + -5. Which is smaller: q or x?
q
Suppose -9*w + 588 = -13*w. Which is bigger: w or -146?
-146
Suppose 0*w + 3*u = -3*w + 213, 3*w + u = 211. Let g be w/5*3/(-6). Let p(j) = j**3 + 8*j**2 + 7*j + 2. Let f be p(g). Which is smaller: 5 or f?
f
Let c = -62.6 - 14.4. Let d = c - -76.8. Is d < 4/13?
True
Suppose 3*q = -a - 16, 0*a - 3*a - 4*q = 33. Suppose 0*f = -4*f + 2*p - 30, -2*f = 4*p. Let h be 9/f - -3 - 7. Are h and a non-equal?
True
Let z = -2803 - -2802. Let d be (1 + 57/(-58))*-4. Is z at most as big as d?
True
Let t(r) be the first derivative of r**2/2 - 8*r - 1. Let s be t(7). Let m be s/((-12)/(-8) + -2). Which is greater: m or 10/3?
10/3
Suppose 3*x + 3*g - 16 = g, 0 = -4*x - 4*g + 16. Suppose -r = -4*r + 6. Suppose -f + 6 = -r. Is f less than x?
False
Let n = 854 - 866. Is -37 at least as big as n?
False
Suppose 5*m + 15 = 5*a, -5*a - 4*m + m - 1 = 0. Which is bigger: -1/63 or a?
a
Suppose 29*w + 348 = 26*w. Let t be w/(-30) - 14/21. Are 4 and t unequal?
True
Let h be -1 - ((-1)/(-1) - 2). Let d = 43 + -51. Let x be ((-5)/60)/(4/d). Is h >= x?
False
Suppose 9*m = 14*m - 250. Suppose 0 = -4*i + 2*s - m, -5*s + 4 = -i + 14. Is -13 != i?
True
Let q = -4364 + 1479394/339. Which is smaller: q or -1?
-1
Let y = 281 + -430. Let o = y - -148. Which is bigger: o or -3?
o
Let g = -86/189 + -23315/1512. Is -17 equal to g?
False
Let m = 33.21 + -33.48. Suppose -n - 9 = -5*y, -n + 3 = 2*n. Which is greater: y or m?
y
Let z be ((-4)/(-6) + 0)*60. Suppose 0 = -2*f + 3*s - 5, -3*s + 8*s - z = -3*f. Let v be (-2)/((-1)/f*-5). Which is bigger: -5/4 or v?
-5/4
Let y = -68 + 67. Are 5/33 and y equal?
False
Let d = 237766585/16 + -14850293. Let g = d - 10125. Let f = g + 13/2. Is f bigger than 0?
True
Suppose 0 = -2*i - 10, k + 129 + 310 = -5*i. Which is bigger: -415 or k?
k
Let k(w) = -w**2 - 8*w - 3. Let v be k(-7). Let s be (-3)/((-48)/28)*v. Is 7 greater than s?
False
Let k(b) = 5*b**2 - 2*b + 1. Let n be k(1). Let p be (9/6)/(2/n). Suppose -2*w - w - p*j - 27 = 0, w - 4*j + 14 = 0. Are -10 and w non-equal?
False
Let m be (-4)/7 + 3774/259. Which is smaller: 36 or m?
m
Let f(h) = 5*h**3 - 3*h**2 + 7*h - 88. Let x be f(6). Is x <= 926?
True
Suppose 2*d - 4 = -2*h, -d - 3 = 3*h - 17. Let b(k) = k - 5. Let a = 5 + 5. Let q be b(a). Which is smaller: h or q?
q
Let d be 52/(-13) + 3/1. Let w be 146/(-246) - 32/(-48). Which is smaller: d or w?
d
Let n be (-8)/20 + 4/10. Suppose n*w - w = 1. Which is greater: 6/13 or w?
6/13
Let o = -1646 - -4937/3. Is o equal to -40?
False
Let p(t) = -t + 1. Let z be p(-1). Suppose 2*x = -z*n - 8, -n - n - 8 = 4*x. Let j be 44/32 - (2 - 0). Which is greater: x or j?
x
Let j = 0.3 - -0.7. Let f = 4 + -11. Let a = -18 - f. Are a and j nonequal?
True
Let g = -5325 + 250263/47. Is -1 smaller than g?
True
Suppose 13 = i + 10. Suppose 23 = -5*c - r, 5*c + 0*r + 29 = -i*r. Is 2 at least c?
True
Let z(r) = r - 12. Let g(u) = -3*u. Let h be -1 + (0 + -1)*2. Let s be g(h). Let c be z(s). Is c bigger than -1?
False
Suppose 186*c = 184*c - 78. Which is smaller: -41 or c?
-41
Suppose 10*m + 5*b - 9 = 13*m, -2*m - 5*b = -19. Let i = -4.4 + 3.1. Which is smaller: m or i?
i
Let w = -174.1 - -174. Which is bigger: -2/583 or w?
-2/583
Let d = 137 - 26. Is 108 greater than d?
False
Suppose -3 + 2 = 2*m - 5*g, -3*g = -3. Let a be (-5)/40 + (m - 2). Is 3 equal to a?
False
Suppose 0 = -9*t + 4*t + 35. Suppose -t = -6*f + 5. Is f smaller than -19?
False
Let g be (0 - 1) + (4 - (-2 - 0)). Suppose -4*v - 47 = g. Are v and -12 equal?
False
Let g(x) = 2*x**2 + 10*x + 6. 