s bigger: i or d?
i
Let n = -5.4 - 5.6. Let m = 2.36 + -0.06. Let t = -2.3 + m. Is t at least as big as n?
True
Let i = -0.876 - 19.124. Does i = 75?
False
Let r = -47 - 19. Let y be (-8)/15 + (-44)/r. Is 2 >= y?
True
Let x be 24/(-8 + (-24505)/(-3065)). Which is smaller: -4906 or x?
-4906
Suppose 2*f = 5*v + 5817, -v + 4*f - 1076 = 73. Let a = v + 124657/107. Suppose -5*q + 4*n - 62 + 42 = 0, -10 = q - 2*n. Are q and a nonequal?
True
Let p = 3681 - -682. Let l = -161419/37 + p. Which is smaller: 0 or l?
0
Let j be -2 + (2848/(-468))/(-8). Let y = -6/13 - j. Suppose 6 = 5*u - 4. Is u < y?
False
Let u be (-8)/3 + (0 - -2). Let p = -0.8 + -16.6. Let d = 17.4 + p. Is u > d?
False
Let y(p) = p**3 - 56*p**2 + 111*p - 157. Let a be y(54). Which is smaller: a or 1.89?
1.89
Suppose 5*w = 12*w. Let f = 1968 - 80682/41. Which is greater: w or f?
f
Suppose -7 = 2*b + 5*q, 5*b - q - 29 = 2*q. Suppose -x = -3*h - 4*x + 33, -b*x = 5*h - 52. Let t be h/(-2)*2/(-28). Which is smaller: t or -0.12?
-0.12
Let h = -317/11 + 973/33. Let c = 50 - 26. Are h and c unequal?
True
Let q be ((-462 + 6)/(-6))/((-4)/(-10)). Suppose 0 = -2*b - 0*b - r + 182, q = 2*b - r. Let u = 91 - b. Which is bigger: -4 or u?
u
Let m be (3 + (-52)/28)*84/(-18). Let t be (-23)/5 + -1 + 3/5. Do t and m have different values?
True
Let r be (-7)/(-28) + 3129/12. Let k = r - 261. Which is smaller: 2/551 or k?
k
Let s be ((-46)/3 - 0)/(188/142974). Do s and -11661 have different values?
False
Let p be (-34)/(-6) - (-2)/(-3). Suppose -14*f + 15*f - 13 = 0. Suppose 5*z - 3*k - k = f, -5*z = 5*k - 40. Is p at most z?
True
Let s be (-10)/25 + (-23552)/(-80). Which is smaller: 299 or s?
s
Let z = 15903 + -15903. Which is greater: -20/47 or z?
z
Suppose -28 = 3*v + 20. Let g(n) = -2*n + 7. Let m be g(v). Let z = 660 - 622. Which is greater: m or z?
m
Suppose 7*f = -15*f - 1232. Let h = -64 - -64.1. Is h equal to f?
False
Let c = -5/673 + -34313/1346. Let s = 2 + 0. Is c at least s?
False
Suppose 2*n - 25 = -27. Let g = -2131/8 - -265. Which is smaller: g or n?
g
Suppose 2*s + 3*i - 14 - 7 = 0, -i = 4*s - 17. Let f(l) = 8*l**s + 0 + 2 + 2 - 3 - 2*l**2. Let r be f(-1). Is r < -9?
False
Let g = -47.7 + 26.6. Let k = 22.1 + g. Is k > -1/9?
True
Let s be 2618/35*(-1210)/11. Is -8229 less than s?
True
Let p = 12505 - 12385. Which is bigger: 121 or p?
121
Let f be (((-731)/153102)/(-43))/((-1)/(-4)). Which is smaller: 0 or f?
0
Let a be 18166*-1 - -2*(6 + 300/(-40)). Is -18169 at least a?
True
Let q = 26 + -26.38. Let d = -1.93 + 0.23. Let c = 0.7 + d. Which is greater: c or q?
q
Let q be ((-6392)/119)/((8/24)/(7/(-3))). Which is smaller: q or 383?
q
Let j = 6069 + -6069.006. Which is smaller: j or -33?
-33
Let y = 87 + -79. Suppose 0*f - y*f + 1192 = 0. Suppose f = 8*u + 61. Which is smaller: u or 12?
u
Let z = 0.6588 + -0.5588. Let t be (-306)/30*((-4)/2 + 1). Is z at most t?
True
Let g = 48138.977 - 48170. Let p = 0.023 + g. Which is greater: 0 or p?
0
Let o = 7 - 7. Let z = 2754 + -2770. Are z and o equal?
False
Let n = -29986 + 29370. Which is greater: -632 or n?
n
Let n be ((-48)/10)/(124/(-310)). Let h = 72 - 34. Let a = h - n. Which is smaller: 28 or a?
a
Let r = 10.9 - 6.9. Let a = -4 - r. Let t = a + -2. Which is greater: t or -3?
-3
Let z = 9 + -32. Let r be ((-24)/(-5))/(3/(-10) + 0). Let s(k) = 2*k**3 + 33*k**2 + 19*k + 25. Let j be s(r). Do z and j have the same value?
True
Let m = -179 + 154. Let l = -25.2 - m. Is -12 not equal to l?
True
Let y(g) = 24*g + 21. Let d be y(5). Let a = d - 112. Which is greater: 31 or a?
31
Let y = 311.98 - 2.98. Let b = y + -197. Let k = b + -112.1. Which is bigger: 0.19 or k?
0.19
Let y be 15/10*(-4)/3 - (-20 - -17). Is y greater than or equal to 8/453?
True
Let d = -5155 + 4462. Is -1 at most d?
False
Let y(u) be the third derivative of -u**4/24 - 29*u**3/6 - 36*u**2. Let h(x) = -x + 29. Let g(c) = -3*h(c) - 2*y(c). Let k be g(-5). Is k > -54?
False
Let v = 311.46 + -3.46. Let p = v + -308.03. Suppose -2*d = 3*d - 20. Which is bigger: p or d?
d
Let b = -152635/4 + 38415. Which is greater: 255 or b?
b
Let a be (-30832)/(-144) - 28/20*(2 - -3). Which is smaller: a or 208?
a
Let p = 25142 - 14356065/571. Which is smaller: p or -1?
-1
Let f = -0.95 - 11.6. Let v = f + -97.56. Let l = v - -110. Is l at most as big as 0.7?
True
Let p = -370.3 + 380.3. Is 10 smaller than p?
False
Let h = -2221.07 - -2221. Is h at least as big as -13?
True
Suppose 2*f + 2*i - 45 = i, i = 1. Suppose -2*c = 3*p - 58, -4*p = c - 1 - 38. Let l = c - f. Is -2/121 bigger than l?
False
Let z be -15 + 6 - (9657080/134125)/(-8). Which is smaller: 0 or z?
0
Let r = 7167 - 7838. Which is bigger: r or -669?
-669
Let u be (-306)/(-8)*(2 + 18). Suppose 9*h + 604*z = 599*z + 6960, 4*h - z - 3045 = 0. Is u <= h?
True
Let f be ((-87)/6)/1*10. Let j = f - -125. Do -17 and j have different values?
True
Let i = -84942621/47785 + 8888/5. Is 1 < i?
False
Let g = -2 - -3. Let m be -6 + (4 - 0) + 726/352. Which is greater: g or m?
g
Let s(r) = 2*r - 81. Let g be s(0). Let w be g/((105/(-10))/7). Suppose 4*z = -2*z - w. Is -8 != z?
True
Suppose 45*c = 29*c + 64. Suppose 0 = -51*r + 49*r - c. Is -1 at most as big as r?
False
Let s = 19578 + -19609. Is 10 > s?
True
Let c = -1.452 - 0.048. Let a = c - -0.61. Let p = a - -0.49. Is 6 < p?
False
Suppose 0*t - 4*t - 5*y = -20, 0 = y - 4. Let z be 0 + (t - -4) + -31. Let a be (-30)/z*((-20)/(-16) + -2). Is a at least as big as -1?
True
Suppose 18 + 1 = -l - 5*w, 4*l - w = 8. Do 7/1606 and l have the same value?
False
Let s be 12/(-9) + ((-39545)/(-1122) - 2/(-4)). Do 35 and s have the same value?
False
Suppose 0 = -42*x - 235 - 437. Let v = x - -151. Is 136 > v?
True
Suppose -669 = 4*v - 2*c + c, -5*v + 4*c = 828. Let o(i) = -2*i**3 + 23*i**2 - i - 14. Let w be o(12). Which is smaller: v or w?
w
Let u be 14 + 2/(-4) + (-21)/(-14). Suppose -4*c = -20, -4*x + 3*c = x + u. Which is smaller: x or -1/158?
-1/158
Let u = -0.25872 - 3436.74128. Which is bigger: u or 2?
2
Let s = 617 + -615. Let r be (-990)/297*s/(-26). Which is greater: r or 1?
1
Let w be (4907/(-36 - -43))/((-2)/2). Is w not equal to -2104/3?
True
Let v = -143062 + 6439261/45. Let l = 98/3 - v. Is 0 >= l?
True
Let d = 71.37 + -71. Let n = 0.97 - d. Which is smaller: 11 or n?
n
Let f = -8142 - -15506. Which is smaller: f or 7365?
f
Let l be (-4)/((-68)/10149) - -10. Which is greater: l or 594?
l
Suppose 108*f + 10 + 28 = 146*f. Is 9/1246 at most as big as f?
True
Let v = 1 + -4. Let h(f) = 13*f**2 + 127*f + 10. Let i be h(-10). Suppose 31*y - i*y = 99. Which is bigger: y or v?
v
Let t = -24.23 - -24. Let u = -9.2 - -9.61. Let i = u + t. Which is smaller: i or 1/2?
i
Let j be 8/12*123/(-610531). Which is greater: j or 1?
1
Let q = -52.6 - -59.6. Is q at least as big as 3.3?
True
Suppose -4*i + 608 = 2*k, 644 = 5*i - 4*k - 142. Let m = 1775 + -1620. Which is smaller: m or i?
i
Suppose -4*u - 1167 = 5*q, 5*u - 465*q + 1468 = -462*q. Which is greater: u or -285?
-285
Let w = 6098 + -5998. Which is greater: w or 97?
w
Let t be (-2)/(-116)*(2 - 2/4). Suppose a = 4*w + 1, 4*w + 2*a = 31 - 17. Which is smaller: w or t?
t
Let b(z) = 14*z + 39. Let h be b(12). Let f = h - 176. Is 33 at least f?
True
Suppose 916*k = 921*k - 11790. Let q be (-4710)/k + (1 - -1). Which is smaller: 0.3 or q?
q
Suppose 38*i - 37*i - 1 = 0. Let s = -8.5 - -6. Let m = -2.52 - s. Which is bigger: m or i?
i
Let c(b) = -b + 3. Let v(z) = 2*z - 24. Let m be v(11). Let o be 9/m*8/(-12). Let i be c(o). Is -1/48 at most i?
True
Let i be -2 + 26/10 + 594020/(-989700). Is -1 < i?
True
Let w = -2309 + 2336. Does 363/13 = w?
False
Let h = -167.895 + 168. Let p = h - 0.305. Are p and 0.02 unequal?
True
Suppose 0 = -3*o - 1391 - 1138. Which is bigger: -842 or o?
-842
Suppose 16 = 9*h - 13*h. Let y = -7 - h. Let c be ((-1)/y)/((-50)/60). Is 1 > c?
True
Let n = -341 - -222. Let x = -119.09 - n. Is x at most as big as -2/7?
False
Suppose -2*w = -3*f + 76, 492*f - 158 = 3*w + 493*f. Do -75 and w have different values?
True
Let m = -3514 + 3500. Which is greater: m or 61?
61
Let n = 0.1652 - -142.0348. Let x = -142 + n. Which is greater: x or -0.13?
x
Let n be 4/(16/556) - 8. Suppose -4*m + n = 107. Let q = -12739/6 + 2128. Is q at least as big as m?
