+ 5. Suppose 2*x + 50 = -20. Let u = -38 - x. Let b be c(u). Are -4/11 and b unequal?
True
Let k = 9 - 0. Let y = k - 7. Let r(p) = p + 2. Let h be r(-3). Which is smaller: y or h?
h
Suppose 4*u - 109 = 5*z - 12, 4*u + 8 = 0. Which is greater: z or -81/4?
-81/4
Suppose -3*v - f - 7 = 21, 2*v - 2*f = -24. Are v and -2 nonequal?
True
Suppose -18*v + 928 = 100. Which is greater: v or 361/8?
v
Let d be (-4)/(-2) + -1 - (1 + -4). Suppose -d*u - 5 = 2*j - 79, 4*u = 3*j + 79. Which is smaller: 17 or u?
17
Let r(b) = b - 3. Let i be r(7). Suppose s + i = 5*s. Let o = 14 + -13. Is s >= o?
True
Suppose 2*j - 3*z + 23 = 2, -z - 27 = 5*j. Let s be j/9*195/10. Let n = 12 + s. Are 1 and n equal?
False
Let z = 142 - 142. Suppose 10*g - 3*g = z. Suppose 0 = -4*c + 5*x - 16, -2*x - x = -5*c - 33. Is g > c?
True
Let f = -7.12 + 6.72. Which is bigger: f or -24?
f
Suppose 25*u - 23*u + 114 = 3*j, 2*u = 5*j - 114. Which is bigger: u or -56?
-56
Let i = -7 + 20. Suppose -319 = -40*l + 51*l. Let y = i + l. Which is smaller: -17 or y?
-17
Suppose -3*w = -9 + 6. Let m be (-38)/70 - (-6 + (-56)/(-10)). Is w <= m?
False
Let k = -36.1 + 35. Let j = -0.1 - k. Is j less than -0.6?
False
Let q be 8/60 + 486/(-20). Suppose 0*d = -2*d - 48. Let w = d - q. Which is bigger: 0 or w?
w
Let s = 60 + -61. Which is bigger: s or 6/353?
6/353
Suppose 0 = 3*s - 5*f - 11, 3*s + s - 2*f - 38 = 0. Let w be 9/s - 1 - (-237)/4. Which is smaller: 58 or w?
58
Let o = -8 + 13. Let n = o - 4. Let b = 0.57 + 0.43. Is n >= b?
True
Let z be 2/4 + (-1854)/1236. Let x = -4/189 - 1657/2079. Which is greater: x or z?
x
Let t = 417159377/41 - 10173733. Suppose 2662 = -3*x - 4*p, -3*x - 5*p = x + 3549. Let b = x + t. Which is bigger: b or -1?
b
Let c be ((-7)/2)/7*(-4)/10. Do -9 and c have the same value?
False
Suppose -3*q - 1928 = 133. Is -689 <= q?
True
Let h(z) = z**2 - 10*z + 1. Let x be h(9). Let w be ((-21)/14)/((-2)/x). Let p = 6 + w. Which is bigger: p or 3/8?
3/8
Let c = -204 - -209.38. Is -1 > c?
False
Suppose 2*k = -3*k - y + 45, -5*k + 30 = 4*y. Let h(z) = 32*z - 2. Let w be h(2). Let b = w + -53. Is b bigger than k?
False
Suppose 3*j + 4*x + 131 = 0, -163 = 3*j - 2*x - 2*x. Let k = 81 + j. Are 32 and k non-equal?
False
Let w(l) be the first derivative of -l**4/2 + l**2/2 + l + 42. Let a be (0/1 - 0) + -1. Let r be w(a). Is r greater than 8/3?
False
Let b = -27420/37 + 741. Which is smaller: -2 or b?
-2
Suppose 3*u - i - 16 = 0, 4*i = 4*u + 2*i - 24. Let y be 2/u*(-9 + 9). Is -2 < y?
True
Let c be 434/4 + 9/(-18). Let u = c - 128. Which is smaller: u or -21?
-21
Let o be (-60)/(-9) - (-6)/(-9). Suppose -4*t - o = -46. Suppose 7*q - 6*q + t = 0. Are -10 and q equal?
True
Suppose -51 = -3*k - 9. Suppose 11*x - 22 = 11. Suppose 0 = -3*s - x*b + 51, -5*s + 7*b - 9*b + 76 = 0. Is s not equal to k?
False
Suppose -525 = -4*u - 3*u. Let j be 1/5 + 360/u. Let h = -2 + 8. Is j greater than or equal to h?
False
Let w = 13 + -13.08. Let x = 22 + -18. Suppose -2 + x = c. Which is greater: w or c?
c
Suppose -3*o - 18 = -3*l, o = 3*o + 3*l - 8. Let g = -26 - -21. Let u be (-10)/g + (-96)/51. Which is greater: o or u?
u
Suppose 0 = -4*p + 3*d - 5, 3*p - 3*d + 5 = -1. Let y be 2/p - (7 - -15). Let n be (-12)/(-170)*y/(-6). Which is greater: 0 or n?
n
Let x = 851 - 1118. Which is smaller: -2 or x?
x
Let d = -59806.87 - -59568. Let z = -240 - d. Let n = z - -0.13. Is n less than or equal to 19?
True
Suppose -2*k = 2*n + 9 + 117, -k - 3*n = 67. Let j = k - -53. Is j at least as big as -37/5?
False
Let j(w) = -15*w - 472. Let u be j(-29). Let q = 251/3 + -83. Which is smaller: u or q?
u
Suppose -5*z = -u - 10, -9 = -2*z + 5*u + 18. Let r be (1/(-1))/((-94)/(-6)). Which is smaller: r or z?
r
Suppose 4*w + 3*g - 5*g + 146 = 0, 139 = -4*w - 5*g. Let v be w/10*20/(-6). Is 2 equal to v?
False
Suppose c = -2*x - 224, 176 = -5*x - 2*c - 384. Let g be ((-6)/4)/((-8)/x). Let v = -32 - g. Is v equal to -11?
True
Let q = -19.5 - 1.5. Let z = 21.2 + q. Which is smaller: z or 0.21?
z
Let j = -279/10 + 317/30. Let r = j + 56/3. Let w(c) = c**3 - 6*c**2 + 13*c - 12. Let k be w(3). Which is smaller: r or k?
k
Let s = -526 - -525. Are s and -4/331 equal?
False
Let s = -31 + 37. Let q(n) = n**2 - 6*n. Let p be q(s). Suppose 0 = 2*u - 5*y - 12, -3*y = -u - 8*y - 9. Is u less than p?
False
Let n = 422 + -271. Which is bigger: 149 or n?
n
Suppose 4*n = -64 - 0. Let m = -18 - n. Let c be (9/6)/(21/4). Is c > m?
True
Let l = 2/3029 + 9037/75725. Is l greater than -0.2?
True
Suppose -4*h - 6 = -2*h. Let d = -5/29 + -193/58. Which is bigger: h or d?
h
Let j = -819 - -824.2. Is j equal to -4?
False
Let j = -950 + 949. Is j > -51/29?
True
Let w(a) = a**3 - 5*a**2 + 3*a + 3. Let r be w(3). Let l(k) = -k**3 + 7*k**2 - 3*k - 9. Let j be l(4). Let c = -36 + j. Which is smaller: r or c?
c
Let b = -42.87 - -41. Is 1 less than or equal to b?
False
Let w = -75 - -61. Let k = w - -13.8. Which is smaller: k or -0.25?
-0.25
Let g be (-1)/(-4) - (-58)/(-8) - -2. Let y be 3 - (-6 - g/((-10)/4)). Do 12 and y have different values?
True
Let k be (1 + (-6)/10)/2. Let f(o) = o**2 - 2*o + 33. Let i be f(0). Let q = i - 32. Which is greater: q or k?
q
Let s = 840.5 + -844. Which is greater: s or -1.8?
-1.8
Suppose 0 = 5*p - 3*n - 37 - 40, 4*p - 68 = -4*n. Let y be (-50)/p - 13/(-26). Is -2 at most y?
False
Let z be (-8)/(-320)*(-405)/6. Which is smaller: z or -2?
-2
Let a be 4 + -2 + 6/(-2). Let w be (-12)/(-1977)*a/2. Let i = 3920/11203 - w. Which is smaller: i or -1?
-1
Let r = 25 - 25.6. Is r equal to -21?
False
Let m(t) = 3*t**2 + 15*t - 10. Let u be m(-7). Which is bigger: 30 or u?
u
Let o = 0 + 1. Let m be o/(-3) + 12/(-18). Let p be (-20)/36*((-6)/5 + 0). Which is smaller: m or p?
m
Let x be 1 + -34*4/(-8). Suppose 59 = 5*u + 2*z, -2*u + z + z + x = 0. Let n = u - 13. Which is smaller: n or -12/11?
n
Let j be (1202/(-402) + 3)*(-60)/460. Which is bigger: 0 or j?
0
Let q(m) = 2*m**2 + 25*m + 37. Let z be q(-12). Which is smaller: z or 270/11?
270/11
Let y be (-3*(1 + 0) - 306) + 3. Let c = -3368/11 - y. Is -3/4 less than c?
True
Let b(m) = -45*m - 2. Let l be b(-2). Let f be -28 + 24 + 462/5. Let z = l - f. Which is smaller: 1 or z?
z
Let y be 6 - (-19)/(4655/(-1530)). Which is smaller: y or 1?
y
Let f(m) = -5*m + 292. Let a be f(57). Which is bigger: a or 31/4?
31/4
Suppose -3 - 10 = -u - 5*b, 3*b - 3 = 0. Suppose -4*z - 3*w = -u*z - 24, 0 = -3*z + 5*w - 18. Is z greater than -9?
True
Suppose 3*c + 5*d = 15, 4*c + 3*d = -0*d + 9. Suppose 5*l - 5*v + 8 - 23 = c, l - 8 = 2*v. Does l = -2?
True
Let x be 1 + -2 - (-6069)/(-27). Let n = 226 + x. Suppose d + 4*p - 5 = 0, 0*p = p - 1. Is n != d?
True
Let s = 4 - 5. Let k = 3 + s. Let v = 96 + -99. Is v at least k?
False
Let k = 18 - 16. Let s be k + 1 + 59/(-19). Is s at most as big as 0?
True
Suppose 2*s + 11 - 45 = -p, 0 = 2*s - 8. Is -2.6 less than p?
True
Let y = 20 + 32. Suppose y = 5*o - 113. Let b be (-171)/o + 4/22. Do b and -5 have different values?
False
Let a = -10.17 - -1.27. Let m = 17 - 8. Let q = a + m. Is 0.04 greater than or equal to q?
False
Let r = 1560 + -1554. Suppose 16 = 2*f - 4*z, 2*z - 1 = -f + 7. Is r at most f?
True
Let d be ((-165)/(-6) + 1)*6/9. Suppose 0 = -5*l + s - 103, 4*s - 55 = 2*l - s. Let u be (2*1)/((-2)/l). Which is smaller: u or d?
d
Let f be 6/(-8) + 12/16. Suppose 0 = -l + 5*y + 14, -3*l + 4*l = -y + 2. Is f equal to l?
False
Let u = 316 - 1265/4. Is u less than -25?
False
Let f = -95 - -100. Suppose 2*w = -q + f - 6, 3 = 2*q - w. Is 2/3 != q?
True
Let d be (97/1)/((174/12)/(-29)). Which is greater: -192 or d?
-192
Let x = 919 + -381386/415. Is 1 > x?
True
Suppose -12*o + 7*o + 185 = 0. Suppose 3*p = o + 38. Let b be 70/p + (-2)/(-10). Is b < 3?
False
Let s = 52 - 102. Let n be 33/(-5) + 20/s. Are n and -6 unequal?
True
Let x(a) = a + 6. Let v be x(-6). Suppose v = -3*c + 1 + 17. Suppose -5*m + c = -4. Is 3 bigger than m?
True
Suppose 0 = -4*y + 2*y. Suppose 9*n - 4*n = y. Suppose n = 3*v + c - 9, c + 6 = 2*v - 0*c. Is v < -1?
False
Let w = -21.7 + 21.8. Does -187 = w?
False
Let b(i) = -48*i - 1. Let y be b(-4). Suppose 3*n - y = -5*k + 65, -2*k = -5*n - 121. Which is greater: 54 or k?
54
Let t = -95.147 - -0.147. Let m = 94.9 + t. Which is greater: m or 1.3?
