n 44?
True
Suppose -4*r + 18 = -7*r + 5*d, -12 = -4*d. Let a = -425/66 - 5/22. Let h = a + 83/12. Which is smaller: r or h?
r
Let v = 57/8 + -453/64. Are 0.2 and v nonequal?
True
Suppose -38 = 47*a + 9. Let x be 6/30 + (-69)/95. Which is smaller: a or x?
a
Suppose 4*t - 7*t - 36 = 0. Let a be (-19)/(-28) - t/(-28). Let q = -0.3 + -2.7. Are q and a non-equal?
True
Let u = 1.6251 - 1.6251. Let s = 57 - 27. Which is greater: s or u?
s
Suppose -5*s + 2*s + 244 = 5*u, -2*s + 171 = 5*u. Let y = s + -227/3. Is y > -2?
False
Suppose 4*k = i + 7, 4*i - k + 0*k = 2. Let j be ((-71)/(-3621))/((-2)/6)*2. Is i at most j?
False
Suppose -4*c - 3*j + 5*j = -46, 2*j + 36 = 3*c. Which is smaller: 30 or c?
c
Let q = -34 - -82. Let t be 124/q + -4 + 3. Let f = t - 5/4. Does 3 = f?
False
Suppose 0*a - a - 6 = 0. Let f = a + 14. Suppose -17*w + 4 = -15*w + 4*j, 4*w - 47 = 5*j. Are f and w nonequal?
False
Let o = 71/2257 + -157557/631960. Let l = o + 3/40. Suppose -i + 1 = -0. Are i and l non-equal?
True
Let n = -224 - -230. Let l be (12/14)/(3/21). Is n greater than l?
False
Let v = -5287/126 + 298/7. Which is smaller: 0 or v?
0
Let o = 2110 + -2109. Let u = -3121/11 + 284. Which is smaller: o or u?
u
Let l = 29732/137 - 138794849/638694. Let t = l - -19/74. Are t and 2 equal?
False
Suppose 14*x + 60 = 4. Is 0.16 > x?
True
Suppose 2*x = 3*j - 1778, 4*j + 3*x - 37 = 2362. Which is smaller: 597 or j?
j
Let p be ((-12)/15)/(3/(-30)). Suppose 6*s + 22 + p = 0. Is 2 at most as big as s?
False
Let d be 0/(-2) - 9/(675/21). Let k = -31/75 - d. Is k >= 0?
False
Let i be 24/15*(-10)/4. Let f = -8 + i. Is f at most as big as -1/4?
True
Let d be 248/(-155)*(-25)/4. Let z(u) = u + 12. Let q be z(-9). Let l be (q/1)/((-12)/(-32)). Do l and d have different values?
True
Suppose 0 = 3*i + 3*l - 21, -169*l + 165*l + 28 = -5*i. Let w = -103/3 + 34. Does w = i?
False
Suppose 0 = 3*z + 2*b + 6, 2*b + 0*b + 6 = -2*z. Which is bigger: z or 0.011?
0.011
Suppose -17 - 1 = -9*m. Let u be 0/3 + m + -3. Let j be 0 + 3*(-2)/10. Is j > u?
True
Let j = 0 - 0. Suppose 0 = 5*y + 2*c - 232, 2*y + 0*c = -4*c + 80. Let h be -4 - (2 - 284/y). Is h less than j?
True
Let b = -1 + 1. Let n be (-1 + 0 - b) + 3. Suppose 12 = -29*y + 30*y + d, -5*d + 24 = -4*y. Which is greater: n or y?
y
Let b = -107 + 76. Suppose -13*x = 20*x + 1056. Which is greater: x or b?
b
Let r = -62 + 97. Let v be (5/(-2))/(3 + r/(-12)). Which is smaller: v or -29?
v
Let s be 29/(3 - (1 + -8)). Is s > 4?
False
Let k = 24 - -21. Suppose -4*z + 2*i - 9 + k = 0, -5*z + 50 = -5*i. Let c be z/(-12) + 24/9. Which is smaller: 9/11 or c?
9/11
Let k = 222 - 221. Let j be (-1)/3 - 26/(-114). Which is smaller: j or k?
j
Let w = -0.3 - -0.4. Let f be (-3 - (-1 - 3/(-3)))*-1. Suppose 0 = 3*z + i - f, -2*i + 1 + 3 = 4*z. Which is greater: z or w?
z
Suppose 5*d = 16*d - 385. Let t be 4/6 - d/63. Which is smaller: -1 or t?
-1
Let s(p) = p**3 - p**2 + 11. Let w be s(0). Suppose 4*r = 3*r + w. Which is smaller: r or 12?
r
Suppose -966*t = -964*t + 8. Let x = -911/4 + 8095/36. Is t less than or equal to x?
True
Let d(l) = l**3 - 10*l**2 - 10*l - 7. Let r be d(11). Suppose 2*g = -6 + 10. Suppose 4*a = 3*k - g*k - 12, -2*k + r = -3*a. Is -6 smaller than a?
True
Let k be ((-27)/126)/(1962/(-21)). Is 0 at most k?
True
Let w = 1.7 - 1.78. Let l = w - -0.31. Let b = -0.43 + l. Is 9 less than or equal to b?
False
Suppose -6*v + 187 = 205. Which is smaller: v or -41/16?
v
Let v = 15 + -7. Let m = 464 + -463. Is v at most m?
False
Let q be (1 - 0)/(3/711). Let c be (-2)/21*(6 - q/36). Is c greater than -0.1?
True
Let k be -6 + (-511)/(-126) + 2. Is 0 less than k?
True
Let f = 14/19 - 41/133. Let q be (-860)/(-30) + (-4)/6. Let n be (3 - q/8)*-2. Are f and n nonequal?
True
Let b be 9/3 - 8 - -5. Which is bigger: b or -1/65?
b
Suppose 3*y = 26 + 4. Suppose -3*q + 78 = 3*u, 3*q - 4*u = 43 - 0. Let t = q - 11. Are t and y equal?
True
Suppose 307 = -5*u - 98. Let q = u + 76. Which is greater: -6 or q?
q
Let l = 24416 + -151550110/6207. Which is greater: 0 or l?
l
Suppose -8*b + 89 - 249 = 0. Which is bigger: -37/2 or b?
-37/2
Suppose -183 = -5*y - 0*j + 3*j, -y = 5*j - 31. Let g = y - 24. Suppose 4*q = 7*q + g. Which is greater: 0 or q?
0
Let f be 2 + (2 - 3) + -4. Let g be (f/(-2))/((-2)/(-4)). Is 6 at least g?
True
Let d = 0.12 - 13.12. Do d and -0.5 have different values?
True
Let y(g) be the first derivative of -g**2/2 + 16*g - 14. Let s be y(7). Which is bigger: s or 8?
s
Suppose 4*f + 1 = 17. Suppose f*h - 5*k + 10 = 0, 1 = h - k + 4. Is -5 at least as big as h?
True
Let n be (-2 + 0)*(18 + 1926/(-108)). Suppose 2*d = 6 - 0. Let l be (-2)/(-18)*(d + -1). Which is smaller: n or l?
n
Let u(n) = -n**3 + 2*n. Let s be u(-2). Suppose -7*g = -1 - 13. Suppose s*a = g*a. Which is greater: a or 2?
2
Let z be (1*3/(-9) - 0)*15. Let a be 2 + (-1 - z)*133/(-154). Is -1 equal to a?
False
Let k(i) = i**2 - 33*i + 1. Let o be k(33). Is o at least as big as 12/5?
False
Suppose -580*c = -578*c + 166. Which is bigger: -87 or c?
c
Suppose 2*p - 4 = -3*i + 5, -i = 3*p - 10. Let m = -1 + 5. Suppose -2*n + 3*y - 31 = 2*n, -m*y + 28 = -2*n. Is n at least as big as i?
False
Suppose 9*b = 160 - 196. Which is smaller: b or -0.7?
b
Let j = -5960 + 47761/8. Which is bigger: 9 or j?
j
Let v = -16/261 + 6886/120843. Which is greater: v or 1?
1
Suppose 1887 + 1515 = -6*k. Which is smaller: k or -568?
-568
Let x be (-5 - (-36)/8)/((-1)/(-22)). Which is smaller: x or -81/7?
-81/7
Let d = 13 + -16. Let q = d + 7. Is q bigger than 1?
True
Let c = -94 - -160. Let t = c - 24. Which is greater: 1 or t?
t
Let k be (10/(-35))/(28/98). Is k at most -1/1294?
True
Let h = 9/8 - 7/8. Let t(d) = -d**2 - 2*d + 1. Let m be t(-2). Suppose -s - w = m, 5*s + 4 = s - 3*w. Is h equal to s?
False
Let s(l) = l**3 + 16*l**2 + 16*l + 18. Suppose 3*o = 3*n + 45, 2*n + 3*o + o = -30. Let i be s(n). Which is smaller: i or -7?
-7
Suppose 2*r = -2*p - 2*r + 2, -6 = 3*p - 3*r. Let i = -5.9 - -6. Which is smaller: p or i?
p
Let s(h) = -11*h + 17. Let y be s(-9). Let f = -83 + y. Let j be (5/(-3))/((-11)/f). Which is greater: 4 or j?
j
Let f = 0.02 - 0.11. Let r = f + 2.29. Let g = 1.2 - r. Which is greater: g or -0.5?
-0.5
Let i(q) = -27*q + 74. Let s be i(7). Is s at most -115?
True
Let j = -4828/253 + 186/11. Which is greater: -2 or j?
-2
Let t = 20 + -37. Let z = t + 42. Let o = 23 - z. Which is smaller: o or 0.01?
o
Let n = -5 - -187. Is 183 at most n?
False
Let m = 4 - 4.17. Let j = -0.27 - m. Which is smaller: 9 or j?
j
Suppose 96 = -3*z + 7*z. Let x be (1 + (-28)/z)*-3. Let w = 77 + -68. Does w = x?
False
Suppose 5*n = 4*g - 25, -2*n + 5*n - 49 = -4*g. Let y be 2/(-3) + 0 + g/42. Suppose 0*q + 3*q = 0. Which is bigger: y or q?
q
Let x = 1 + -4. Let l = 23 - 26. Let m(q) = -q - 4. Let z be m(l). Is z equal to x?
False
Let k = 26 + -30. Let v(n) = n**3 + 4*n**2 - 2*n - 13. Let x be v(-4). Is k != x?
True
Suppose 21*v - 192 = 23*v. Which is smaller: v or -99?
-99
Suppose -36*n - 11*n = 0. Are -14 and n nonequal?
True
Let v be (-2)/((0 - -1) + -2). Suppose 7*c - 3*c - 10 = 5*h, -3*c - 10 = 5*h. Suppose c*i - 5*n = v*i - 3, i - 4*n = -5. Is i smaller than 2?
True
Suppose 45 + 165 = 21*l. Is l at least as big as 77/9?
True
Let i be 3 + 249/(-123) + -1. Let o = 0 + -8. Let j(c) = -c**2 - 9*c - 8. Let s be j(o). Do i and s have the same value?
False
Suppose 63 = 3*t + 90. Is t at least -9?
True
Let a = -1573 + 51944/33. Is a < 2?
True
Let p = -0.266 + 0.066. Let l = -0.181 + 4.131. Let c = -4 + l. Is c >= p?
True
Let m = 212 + -228. Are -16 and m non-equal?
False
Let j be (-40)/8 - 180/(-3). Let u = j - 56. Which is greater: u or 5/24?
5/24
Suppose -4*d = -5*y - 5, d + 0*d + 4*y + 4 = 0. Let k be -1*(d - (-262)/3). Let w = k + 90. Which is smaller: w or 4?
w
Let j be 1/(-1) + -6 + (1 - -3). Let y be (2 - 3)*(0 - j). Is y smaller than -3?
False
Let s = -0.06 + -0.04. Let i be 18/(-4 + 2) + 3. Let g(z) = z**3 + 5*z**2 - 6*z - 7. Let a be g(i). Which is greater: s or a?
s
Suppose 0 = 29*t - 83*t + 54. Which is smaller: t or 3/2?
t
Let z be (-153480)/(-385) + (-2)/7. Let s = 398 - z. Let h be (1 + -3 - -1) + 4 + -2. Is h less than s?
False
Let j(f) = f - 10. Let i be j(5). Let z = 42 - 60. Let d = -21 - z. Do d and i 