nd d equal?
False
Let v = -0.24 + 0.05. Let d = v - 0.11. Which is bigger: 0.04 or d?
0.04
Let f = -57.1 - -56.1. Let v be (8/190)/(30/(-25)). Are v and f unequal?
True
Let h = 1.401 - -1.599. Which is bigger: 4/9 or h?
h
Let z(o) = -o**3 - o**2 + 3*o - 6. Let b be z(3). Which is greater: b or 6?
6
Suppose 0 = -3*h - r + 52, 5*h + r - 87 = -r. Which is smaller: h or 19?
h
Let v(y) = -32*y + 184. Let h be v(9). Which is smaller: -103 or h?
h
Suppose 3*l + 21 = 3*a, 3*l + 16 = a - 5. Let g be (-16)/4*1*2. Which is smaller: l or g?
g
Let n(a) = a**2 + 7*a + 4. Let m be n(-5). Let f be (-1)/((m + 3)*1). Let u = 12 - 12. Are u and f nonequal?
True
Let n = 41 - 39. Let o be ((-14)/49 + 0)*3/n. Which is smaller: o or 2/3?
o
Let l = -1970/3 - -656. Is l less than or equal to 710?
True
Let z = 31 + -16. Let p be z - (3 + -1)/2. Which is greater: 13 or p?
p
Let s(q) = q**2 + 6*q + 3. Let j be s(-1). Let p = -8633/3 - -2834. Let z = 643/15 + p. Which is smaller: j or z?
j
Let h = 13786/201 + 16/201. Which is bigger: 70 or h?
70
Let j(h) = 4*h**3 + 8*h**2 - h - 8. Let n be j(-3). Which is smaller: n or -39?
n
Let a = 391 + -381. Which is smaller: 0 or a?
0
Suppose 2*c + 1 = 5*b + 21, -4*c = -2*b - 8. Let s be ((-50)/(-20200))/((-1)/8). Is c at most s?
False
Let l be (-16)/(-20)*(-110)/(-12). Let w = 727/4 + -2173/12. Which is greater: l or w?
l
Let b = -55.886 + -0.114. Let c = b + 56. Which is greater: c or -1.7?
c
Let o(b) = 2*b**2 - 3*b**2 + 1 - 4*b - 5. Let v be o(-3). Let c(t) = -t**3 - 4*t**2 + 26*t + 60. Let x be c(-2). Is x >= v?
True
Let p be 9/(408/128 - 3). Which is smaller: 45 or p?
45
Let n = -0.048 + -20.952. Let k = n - -22. Is 41 greater than or equal to k?
True
Let w be 1*28*33/(-6). Let b = w + 158. Which is smaller: b or 9?
b
Let k = 0 + 0.08. Let q be (3/1)/(2 - 1). Suppose -4*v - 4 = 0, -v - q = 3*u - 5. Are k and u unequal?
True
Let c be 0 + (2/(-13))/1. Suppose -5*h = 4 + 1. Which is smaller: h or c?
h
Let u = -2045 + 2046. Are u and 2/4913 equal?
False
Let u be (-44)/3*3/10. Let q be -1*(-2*35/(-10) - 4). Is u equal to q?
False
Let v(c) = c**3 - 2*c**2 + 3*c - 2. Let i be v(1). Let l be i*(-1 - (-1)/2). Which is smaller: l or -2/111?
-2/111
Let t(x) = -x**2 + x + 43. Let k be t(7). Is k <= -16?
False
Let l(r) = 4*r + 3. Let m be l(3). Suppose -5 = -3*u + 2*u, 2*b - m = -3*u. Let i be (-14)/(-6) - ((-39)/(-9) + -5). Is i greater than or equal to b?
True
Let p = -28 - -57. Suppose -4*n + 7 - 32 = -3*b, -3*b + 5*n = -p. Is b greater than or equal to 5?
False
Suppose 7*k + 12 = -9. Let d(r) = r**3 + 4*r**2 + 4*r + 2. Let s be d(k). Suppose -j - 22 = -2*z - 2*j, -5*z + 61 = j. Is z >= s?
True
Suppose -6 = 23*c - 29. Is c greater than 1/44?
True
Let o = -2361 - -2360.57. Which is smaller: -6 or o?
-6
Let c = -18 + 19. Let h be 4 + (c - 111 - 2). Let g be 4/(-3) - 171/h. Which is smaller: -2/3 or g?
-2/3
Let y be 12/(-5) + 2 + (-7)/(-5). Suppose 30 + 6 = -4*r. Let t be (-30)/(-351) + (-2)/r. Is t at most as big as y?
True
Suppose -2*s + 28 = -0*s. Suppose -h - s = -3*h. Suppose 105 = 26*p - 11*p. Is h less than p?
False
Let b be 3 - (6 + -7)*1. Is b at most as big as 5?
True
Let r = 18.752 + -0.052. Let o = 19 - r. Let w = 2.4 - -0.6. Which is smaller: w or o?
o
Let j(l) = -3*l**2 - 79*l + 331. Let t be j(-30). Let m = 38648/113 - 342. Which is bigger: m or t?
t
Suppose -4*t = 2*p - p + 102, 3*p + 3*t + 351 = 0. Are -122 and p unequal?
False
Let h(w) = -w**3 - 6*w**2 + 6*w - 10. Let c be (140/(-21) - (-1)/(-3))*1. Let s be h(c). Suppose 0 = -f - 3*f - 8. Which is smaller: f or s?
s
Let w = 5549 + -116554/21. Let a be (-4)/16 - (-31)/28. Let i = a + w. Is 0.08 at least i?
True
Let o = 6.7 + 1.3. Let u = -8.79 - 0.21. Let c = o + u. Is c less than 5?
True
Let g = -528.95 - -529. Which is smaller: -1.8 or g?
-1.8
Suppose -b = -3*v - 13, -b + 3*v + 17 = b. Let d(o) = o**3 + 6*o**2 + 8*o. Let m be d(-4). Let q = m + b. Is -1 bigger than q?
False
Let j = -21 - 39. Are -57 and j equal?
False
Suppose 4 = -4*t - 8, 414 = -3*z + 3*t. Let n = -144 - z. Are -10 and n unequal?
True
Let w(n) = -2*n + 24. Let c(g) = g - 12. Let i(h) = 11*c(h) + 6*w(h). Let r be i(26). Which is smaller: -13 or r?
r
Let b be (4/6)/(6/45). Suppose 4*s + 2*g = -3*g + 5, -s - b*g = -5. Is 6/7 greater than or equal to s?
True
Let m = 898 - 518. Is m at most 381?
True
Let x = 15.993 + -16. Let f = x + -1.993. Is f > -0.8?
False
Let r = -1.21 - 21.79. Let n = -17 + 37. Let w = n + r. Is -2/5 at most as big as w?
False
Let g = -25 - -27. Suppose 2*c + 2*v = 4*c - 4, 2*c - 4*v = 2. Suppose -o - g = -c. Which is greater: -4/11 or o?
o
Let h be 1511/210 - (-26)/65. Let p = 49/6 - h. Which is greater: -0.1 or p?
p
Let h be (-68)/6*(-51)/(-17). Let x be (9/(-6))/((-15)/(-340)). Let z = x - h. Which is smaller: z or -1/35?
-1/35
Let q = 2.1 - -11.9. Let y = 1 - q. Let w = 4 + y. Which is greater: -0.1 or w?
-0.1
Let m(o) = o**3 - 6*o**2 - 6*o - 3. Let x = -38 + 59. Suppose x = 2*f + f. Let c be m(f). Which is greater: c or 5?
5
Suppose 3*p - 14 = -4*k + 13, 4*k + 5*p - 21 = 0. Let j = k + -6. Let i = 427/3 - 139. Is j smaller than i?
True
Let w = 100535/37 - 2717. Which is bigger: 1 or w?
1
Let c = -161/4 - -40. Let b be 32/(-62) + 1/2. Let k = 121/186 - b. Is c less than k?
True
Suppose 29*d + 952 = 22*d. Which is smaller: d or -138?
-138
Let v = -346946/95 - -3652. Do 0 and v have the same value?
False
Suppose 4*r + 5 = -g + 26, g - 5*r + 24 = 0. Let h = -39 - -41. Suppose 0 = q, -4*b - h*q = -7*q - 4. Is b equal to g?
True
Let b(m) = -3*m**2 + 16*m + 14. Let g be b(6). Let c be ((-6)/5)/((-2)/5). Which is bigger: c or g?
c
Let w be 4/10 - 94/10. Let z = 112 - 217. Let b be -5*7/(z/(-24)). Is w not equal to b?
True
Let q(r) = -11*r - 199. Let m be q(-18). Is -15/98 at most as big as m?
False
Let o = 10 + -19. Let w = o + 17. Let a = 8 - w. Is 2/19 >= a?
True
Let j = 241/5 - 48. Let m = j + 3/10. Are m and 10 unequal?
True
Let n = -2368 + 2367.6. Which is smaller: n or -20?
-20
Let h = 297/5 - 60. Let c = 258 - 3355/13. Which is smaller: c or h?
h
Let v(p) = -p**2 + p - 2. Let k be v(3). Let t = 2984 + -2993. Is t equal to k?
False
Suppose 4*d - 87 = 121. Which is greater: d or 53?
53
Let c be 8/44 + 0 + (-19302)/(-14355). Let a = -52/29 + c. Which is smaller: a or 0?
a
Suppose -4*j + j + 27 = 0. Is 10 bigger than j?
True
Let y be (0 - 0)/((-16)/4 + 2). Suppose -4*m - 15 + 31 = y. Which is smaller: m or 6?
m
Let j be ((-3)/(-9))/(1/(-2)). Let g = 16.07 + -0.07. Let c = g + -19. Which is greater: c or j?
j
Suppose 0 = 5*r - 15. Suppose 0 = r*j - 5*j - 6. Let b be j*(4 + -3) + 7. Which is smaller: 0.3 or b?
0.3
Let u = -438/5 + -1/15. Which is greater: 0 or u?
0
Let x = -9 + -1. Let t = x + 22. Let n = t - 9. Is 1/2 != n?
True
Suppose 9*d - 7*d = -2*m + 54, 0 = -2*m + 4*d + 36. Suppose -n - m = -2*c - 3*n, 3*n - 10 = -c. Are 12 and c unequal?
True
Suppose -4*k + 54 = -7*k. Let z = k + 14. Let y be z/10 - 3/5. Which is smaller: y or -5/4?
-5/4
Let n(f) = 15*f**2 + f + 2. Let r be n(-4). Let v = 503/2 - r. Is 14 greater than v?
True
Suppose -35 = -v - 0*v. Is v greater than 67/2?
True
Let p be (-166)/54 + -3 + 84/14. Is -98 > p?
False
Let k = -3 + 30. Let v = k + -30. Which is smaller: v or 0.08?
v
Let l be (-261)/3*(0 + 8/24). Which is smaller: -33 or l?
-33
Let i = 3374 - 2501. Which is bigger: i or 0?
i
Let h = -3.7052 - 0.2948. Let a = 0.28 + -0.2. Are h and a non-equal?
True
Let r = 418 + -417.6. Which is greater: r or 5/32?
r
Suppose 3*i + 5*p = 42, 2*p + 2*p = -3*i + 45. Suppose i = 2*s + 3. Which is smaller: 2 or s?
2
Suppose 77 = -a + 4*x, -a - 75 = 2*x - 5*x. Which is smaller: a or -71?
-71
Let r(c) = c**2 + 13*c + 11. Let w be ((-3)/(-18) - (-68)/24) + -15. Let i be r(w). Which is smaller: -4/5 or i?
i
Let h = 64 + -61. Is 12 < h?
False
Let y(t) = -t**3 - 6*t**2 - 9*t + 2. Let k be y(-4). Let m be (-34)/(-10) + 2/(-5). Let s be (k/27)/(1*m). Is s != 1?
True
Let w(y) = y**2 - 1. Let h be w(-1). Let s be 1 - 384*4/1804. Let n = 21/41 - s. Which is smaller: h or n?
h
Let b = 1/138 - 1111/966. Which is bigger: 30 or b?
30
Suppose 3*j = 4*a + 27, 4*a + 42 = -j - j. Let m = -8 + 0. Is a <= m?
True
Let t = 1293 - 1032. Is t less than 0.1?
False
Let b be 196/6 - ((-304)/(-24) + -