et t be 3 - 2 - (-189)/(-7). Let y = -14 - t. Suppose 0*s = -4*s + y. Do -0.5 and s have different values?
True
Let o = 3667.9 + -3668. Let j be 3/8*2/(-3). Are j and o nonequal?
True
Suppose h - 4*h + 66 = 0. Let a(z) = -z**3 + 22*z**2 + 3*z - 54. Let k be a(h). Let i(d) = -d**2 + 16*d + 16. Let s be i(k). Is s < 63?
False
Let j = -42 - -287. Let d be (-7)/(-2)*28/j. Is -0.8 at most as big as d?
True
Suppose -16 = -0*z + z - 4*d, 5*z - 20 = -5*d. Suppose 5*b + 15 = 2*i, 0*b + b + 5 = z. Is i >= -2?
False
Let i = -13 - -85. Let a = -74.4 + i. Which is smaller: -1/8 or a?
a
Let o be 15/18*(-2080)/325. Suppose 3*n - 6 = -0*n, -4*n = -2*i - 18. Which is smaller: o or i?
o
Suppose -3*h = 7 - 28. Let d = -127 + 141. Suppose 0 = -2*i - i + g - 14, -5*g + d = -i. Which is bigger: i or h?
h
Let h = -202286/169353 - -5/5463. Which is bigger: -1 or h?
-1
Suppose -3*m + 3*l = 15, -m - 15 = m - 3*l. Let a(q) = 0*q + 7*q**2 + 1 + q**3 - 8*q**2 + q. Let p be a(m). Is 5/3 less than p?
False
Suppose 3*m - 2380 = -580. Let u = m - 13803/23. Suppose -81 = 51396*j - 51315*j. Is j bigger than u?
False
Let l be 1/55*(-10)/4. Suppose -5 = -1120*c - 0 - 5. Is c greater than l?
True
Let n(c) = 4*c + 14. Let p(q) = q + 16. Let k be (-20)/(-70) - 298/14. Let w be p(k). Let a be n(w). Is -0.07 at most a?
False
Let b be 20/50 - 14/10. Let z be 175/(-42)*(4 + -4 - -4). Are b and z nonequal?
True
Suppose 34*w - 10 = 31*w - 5*x, -5*x + 10 = 4*w. Let k = 1510 - 51337/34. Which is bigger: k or w?
k
Let t = -1183 + 2415/2. Let g = t - 23. Suppose w - 8 = -5. Is w not equal to g?
True
Suppose -4*m = m. Let y = -2.48 - 219.52. Let w = 193 + y. Does m = w?
False
Suppose 43*j - 8568 = 22*j. Suppose 2*t - 2*c + j = 0, 5*c + 21 = -4. Is t smaller than -208?
True
Suppose 0 = 3*f - 2*g - 2*g + 3, 3 = -3*f - g. Let v be ((-1 + -1)/f - 2)/(-1). Are v and -72 nonequal?
True
Let m = -1968488 - -25608500/13. Let i = m + -1398. Let o = 49/26 + i. Are 0 and o equal?
False
Suppose 2*q = 3*i - 848, -i + q + 429 - 146 = 0. Let w = i + -302. Do w and -31 have the same value?
False
Let p be 0*((-3)/2)/(-3)*-2. Suppose p*w = -7*w + 56. Suppose -w = 7*k - 1. Is k < -3?
False
Suppose 144*r - 90 = 126*r. Let t = -1.914 - 0.226. Let z = t - -0.14. Which is smaller: z or r?
z
Let m(o) = -o**2 + 28*o - 25. Let x be m(27). Suppose -32 = x*g + 5*a + 74, g - a + 39 = 0. Let p be 0 + 29/9 - (g + 46). Is 0 bigger than p?
False
Suppose -3*i - 2 = 1, f - 2*i = -14. Let o be (f/84*1)/((-4)/(-6)). Is 2/299 at most as big as o?
False
Let q(z) = -7*z - 17. Let u be q(-3). Suppose 7*o = -u*w + 4*o - 5, 5*w - 4*o - 17 = 0. Which is bigger: w or -2/81?
w
Let v = 2367 + -409483/173. Is 0 < v?
True
Suppose 0 = q - 2*o + 20 + 58, 4*o = -5*q - 320. Which is greater: q or -61?
-61
Let b be 45/270 - 482/12. Let p = b - 5. Which is greater: -46 or p?
p
Let r = -418 + 13. Let t = 405 + r. Is 1/183 > t?
True
Suppose 2*v = -4*v - 114. Let r be 11/((-88)/56) + (-3 - -7) + -4. Is v not equal to r?
True
Let d = 34120451110761290/504247178712039 - 1176563221/16086783. Let k = d + 20340/3689. Let t = k + -2/293. Which is smaller: 0 or t?
0
Let h = -3994 - -3801. Are -2/13 and h non-equal?
True
Let o = -97 - -164. Suppose 5*b + 5*i - 300 = 0, 4*i - 402 = -5*b - 96. Do b and o have the same value?
False
Let o = 472 - 454. Suppose o = -26*b - 34. Is 113 at least b?
True
Let m(z) = 8*z - 80. Let l be m(31). Let c = 168 - l. Which is greater: -2/29 or c?
c
Let n = 13.77 + -13.97. Which is smaller: n or 1.64?
n
Let o be (-94*3)/(11529/(-5490)). Which is smaller: o or 133?
133
Let l be 4 + (-984540)/(-102768)*6/(-20). Let o = -34/855 + 74504/1830555. Let r = o - l. Which is bigger: r or -1/4?
-1/4
Let a be (2994/272 - (-42 - -53))/((-3)/(-234)). Which is bigger: 2 or a?
2
Let p be (803 + 18)*((-3)/1 + (0 - -4)). Which is bigger: 816 or p?
p
Let k be ((-8)/6)/((-126)/1080). Let z = 8.8 + -8.8. Which is smaller: z or k?
z
Let v = -2794 - -2792. Which is smaller: v or 23.6?
v
Let f = 0.715 + 3.285. Is f > 131?
False
Let w = 46 + -26. Let d be (-2)/(-4) - (0 - 1346/w). Let s = 6431/95 - d. Which is smaller: s or 0?
s
Let h = 177388/45 + -19442/5. Which is bigger: h or 1?
h
Suppose -2*i = 3*i + 75. Let g be (3/15)/(i/25). Let d = 18 + -7. Which is smaller: d or g?
g
Suppose -3*v - 3*c + 51 = 0, -2*v = -3*c - 2 - 22. Let g(s) = -s**3 - 9*s**2 - 10*s - 15. Let w be g(-9). Suppose v*x + 90 = -w. Is -11 >= x?
True
Let c = -0.05 - 0.05. Let o = 468.3 + -76.3. Let r = o + -433. Which is bigger: r or c?
c
Let t = 763/27 - 85/3. Let o = -1 - 0. Which is greater: o or t?
t
Let w be (-64948)/(-5148) - 3/(-27). Let k = 40 + -26. Is w bigger than k?
False
Let p(x) = -54 + 12 + 0*x**2 + x**3 + 250 + 0*x**2 - x**2. Let j be p(0). Which is greater: j or 206?
j
Suppose 18*i = -13*i - 10*i + 41. Which is smaller: i or 15/29?
15/29
Let w(g) = -21*g**2 - 9*g + 17. Let v be w(4). Let j = -355 - v. Let t = -6739/17 + 395. Are t and j equal?
False
Let p = 529 + -437. Which is smaller: p or -12?
-12
Let g be 5713/1218 + 1/7. Let u = g - 215/42. Let f be (-2)/(-3)*(-18)/498. Which is bigger: u or f?
f
Let s = -49438668/43001 - 28/6143. Which is greater: -1151 or s?
s
Let p = 941 - 971. Let k be (-50)/2780*6/p. Which is greater: -1 or k?
k
Let q = -1186 - -1185. Which is smaller: -2/6913 or q?
q
Let x be (5 - 3)/(-8) + 10439/(-52). Which is greater: 0.03 or x?
0.03
Let h be ((-16)/12*3 - -12) + 7090594/(-886312). Which is smaller: h or 0?
h
Let g be (0/(-7) + 0)*-1. Let d be -3*3/45*-10. Suppose 10 = -d*m, 3*b - 2*m - 22 = -b. Which is greater: b or g?
b
Let l(z) = -2*z + 23. Let o(x) = 3*x - 47. Let w(u) = 5*l(u) + 3*o(u). Let r be w(-18). Let g be ((44/r)/(-11))/((-230)/(-8)). Is 1 less than g?
False
Suppose -3*w - 3591 = 3*q, -3*q + 2*w = 4923 - 1332. Is -1202 at least as big as q?
False
Let m(p) = p**2 - 115*p + 2740. Let x be m(81). Which is bigger: 53 or x?
53
Let q(x) = -3*x**3 - 9*x**2 + 3*x. Let v(n) = -n**3 - n**2 + n + 1. Let d(r) = q(r) - 4*v(r). Let t be d(6). Which is smaller: 25 or t?
25
Let a(l) = -l - 22. Let h be a(-7). Let g(v) = 17*v + 8. Let w be g(-3). Let r = w - -28. Does r = h?
True
Let h = 1900/7 + -272. Let g = 70686 + -70694. Which is bigger: h or g?
h
Suppose 0 = 9*u + 8*u + 3315. Let i = 118 + u. Which is smaller: -76 or i?
i
Let g = 361.0609 - 0.0609. Let q = -1508 - -1508. Is g > q?
True
Suppose 144*n - 38*n = -40*n + 48472. Which is smaller: 326 or n?
326
Let j be (567/282 + -2 + 0)*(-119)/2499. Is 1 greater than or equal to j?
True
Let w be (-24)/84*-107*-7. Which is bigger: -3 or w?
-3
Let g be (2 + 195/(-99))*48/(-60). Let f(k) = -k**3 - 3*k**2 + 4. Let b be f(-2). Is b less than or equal to g?
False
Let a = 0.52 + -19.52. Let u = a + 28. Which is bigger: u or -3?
u
Let k = 417 + -420.6. Let a = 3.6234 + k. Is a <= -1?
False
Let y = -16065 - -17384. Is y > 1317?
True
Suppose 0 = -2*m - 4*q - 3 - 3, -m = 3*q + 5. Let p be (m*12/(-42))/(-50). Is 0 > p?
False
Let c = -1277780 + 136398033/107. Let h = c + 3032. Is h less than or equal to 0?
True
Let t be 3/6 - 1/2. Let j be 2241/(-201)*19/(-22). Let c = j - 106/11. Which is bigger: c or t?
t
Let q be 1 + 0 + 7*-5. Suppose 0 = -11*j + 10*j + 4. Suppose -4*b - 140 = 4*s, j*s - 4*b + 64 = -76. Which is greater: q or s?
q
Suppose 71*h - 73*h - 5 = -5*s, -3*h - 18 = 3*s. Which is smaller: s or -11/178?
s
Suppose 7*j = -1230 - 530 + 255. Is j less than -215?
False
Suppose 0 = -3*j + 4*d - 33, -20*d + 22 = -2*j - 17*d. Let f(p) = 4*p + 10. Let m be -1*(0 + 10/2). Let h be f(m). Which is bigger: h or j?
h
Let x be (-76)/20 - -4 - (-1052)/(-10). Let k be (-1 - x/(-56)) + 1. Is -3 > k?
False
Let u = -28 - -6. Let t = 60.69 - 61. Let y = 0.41 + t. Which is greater: u or y?
y
Let k(b) be the third derivative of -b**4/24 - 34*b**3/3 + b**2. Let a be k(-23). Let p be -6*((-3)/a)/(13/(-3)). Do -1 and p have the same value?
False
Let j = -1.1 - 7.9. Let l = -0.351 + 0.205. Let x = l + 0.076. Is j greater than or equal to x?
False
Let h = 422 + -424. Let i be h*(-87)/(-90)*(-925)/74. Is 25 at most as big as i?
False
Let p(b) = b**2 + 6*b + 257. Let j be p(23). Let y = -924 + j. Which is bigger: -12/109 or y?
y
Let l be 40/15*19/(-1064)*-14*24. Let k = -15 - -42. Suppose -a = -4*w + 9, -5*a - k = -2