t + 7 = -v. Do t and 10/73 have the same value?
False
Let f = -2673 - -11453. Is f less than or equal to -1/4?
False
Let m = -163 + 161. Let p be 258/(-4) + 3*(-1)/(-6). Is m > p?
True
Let h = 22565.7 - 22566. Does h = -3784?
False
Suppose 90*o - 85*o + 3245 = 0. Let f = -643 - o. Let p = 27 - 16. Is p at most as big as f?
False
Let t = 1 - 1. Suppose 0 = 5*a + 10*a - 1710. Let m be (-399)/a*16/(-70). Which is bigger: m or t?
m
Let s be (9/(-4362))/(45/60). Let h = s - -6551/2908. Which is greater: h or 3?
3
Suppose -4*d + 69 = 109*l - 110*l, 4*l + 2*d = -276. Are l and -68 nonequal?
True
Suppose 212*o - 222*o = -3090. Which is smaller: o or 308?
308
Let g = 0.0504 - -0.9496. Which is bigger: g or 2/341?
g
Let d = 8647 - 8528. Which is smaller: d or 2?
2
Let i(s) = 9*s**2 - 7*s - 35. Let n be i(-4). Suppose 0 = 4*j - 5*r - 145, 3*r - n = -3*j - j. Do 1 and j have different values?
True
Let n(h) = -371*h - 3. Let s be n(-1). Suppose -3*u = 5*u - s. Let a = u + -24. Is 20 bigger than a?
False
Let a = 3466 + -3467. Let h = -18443/31 - -595. Which is bigger: a or h?
h
Let k = 2010 - 243211/121. Are -1 and k unequal?
True
Let u be (1 - -126)*24*31/(-248). Is -383 > u?
False
Let i be -46*(16/(-2) - -3). Suppose -19*g = -4*z - 24*g + 958, 0 = 5*z - 5*g - 1130. Is i equal to z?
False
Let o be 5 + -10 + (6/2 - 30646/(-15279)). Which is smaller: o or 0?
0
Let k = -41.616 - -0.766. Let v = k + 41. Let p = v + -0.85. Is p greater than -1/4?
False
Let r = -20 + 24. Suppose -m = -3*m - r*n + 5538, 0 = -3*n - 9. Let j be 5 - 14195/m - 4/(-30). Is -1 greater than or equal to j?
False
Suppose 98*c - 267*c - 513760 = 0. Is -18245/6 at least as big as c?
False
Let f(g) = -g - 14. Let o be f(-9). Let x be 1/4 - (-5)/o. Let v(u) = -u**2 + 12*u - 33. Let s be v(8). Is x smaller than s?
False
Let w = -12380 + 12379. Which is smaller: w or -165.3?
-165.3
Let d be ((-5647)/(-4))/(29 - 5359/184). Which is smaller: -11293 or d?
d
Suppose 4*s + t + 58 = 3*t, -4*t = -3*s - 41. Let g be (-5)/6*12/s. Let m = 197 + -1381/7. Which is bigger: m or g?
g
Suppose -15*q = -63 - 57. Let a be 2/q - (-177)/12. Let w = 2/207 - -2827/207. Which is bigger: w or a?
a
Let y be (24/(-30))/(2/(-235)). Let o = y - 84. Suppose -o*k + 83 = -57. Is k <= 15?
True
Let r = -2596 - -2595.93. Is r at most -248?
False
Let q = -3.4 - -5.76. Let j = q + -3.11. Which is greater: -1/9 or j?
-1/9
Let o(i) = -5*i - 162. Let r be o(-33). Suppose -r*f - 9 = 0, y - 5*f = -3*f - 14. Which is bigger: -21 or y?
y
Suppose 0 = 4*p - 0*p - 2*x + 50, 4*p + 5*x = -71. Let h be (8 + -1 + p)*-1. Suppose 4*s = s + 21. Is h smaller than s?
False
Let g = 21953/9 + -2477. Is -37 less than g?
False
Let x = -73 - -304. Let p be 77/x + 8/(-6). Are p and 2/91 non-equal?
True
Let a = -32 - -4. Let s = a + 27. Let f = 4205/8 + -527. Is f <= s?
True
Suppose 2*v = -2*h - 30, -2*h + 2*v = 6*v + 26. Let d = h - 22. Let m(t) = t**3 - 6*t**2 - 4*t + 5. Let o be m(5). Is d < o?
False
Let d = -3/1615 - 2657/1615. Suppose -4*m = -m + 3. Which is smaller: m or d?
d
Let m be (12*266)/((972/48)/27). Which is smaller: 4257 or m?
m
Let v be ((-1)/29)/(3/(-36)). Suppose -g + 13 + 6 = 4*f, -5*g = -15. Suppose 3*c + 3 = f*o, -14*c + 19*c + 5 = -o. Which is greater: o or v?
v
Let u = 0.36 - -50.64. Let d = u + -157. Let c = d + 106.1. Which is bigger: -27 or c?
c
Let y(u) = 15*u**2. Let k be y(1). Let v = -848 - -928. Suppose 13*i - v = -7*i. Which is smaller: i or k?
i
Let x = 721.846705 + 0.163295. Let y = 722 - x. Which is smaller: y or 4.4?
y
Let u = -38.1 - -22.8. Let l = 14 + u. Let i(g) = -45*g - 88. Let k be i(-2). Is l less than k?
True
Let d = 3.21 + -2.87. Let i = d + 2.16. Let j = -7.1 - -7. Is i equal to j?
False
Let g = 3024 + -3034. Is g equal to 53?
False
Suppose 16*n = 6*n + 60. Let q be (2/n - 1)/(2/47). Which is smaller: q or -17?
-17
Suppose 0*w = -4*w - 4*y - 120, 5*y + 45 = -2*w. Let x be 70*(-4 + (-160)/w). Which is smaller: x or 38?
38
Let u be (1 + (-4)/6)/(-1 - 5/(-15)). Let w(q) = -6*q**2 - q + 5. Let c(i) = i**2 - 1. Let h(k) = -5*c(k) - w(k). Let j be h(0). Which is greater: j or u?
j
Suppose -78349 + 76949 = -25*g. Which is smaller: g or 219/4?
219/4
Let y = 132 + -133.455. Let h = y + -0.065. Let n = h + -90.48. Which is bigger: n or -0.1?
-0.1
Let i = 0.15 + -0.15. Let b = 284.919 - 0.919. Is i at least as big as b?
False
Let k(f) = f**2 + 3*f + 3. Let v be k(-9). Let r(d) = d**2 - 56*d - 454. Let o be r(-8). Are v and o unequal?
True
Let y = 148021/6 + -24641. Which is bigger: 30 or y?
30
Let s be 54686/(-1512) - (7 + 47/(-7)). Let j = s + 46/27. Which is bigger: j or -35?
j
Let y(l) = l**2 - 7*l - 806. Let d be y(-25). Suppose i - 4 + 2 = 0. Let a = -7 + i. Which is bigger: d or a?
a
Let s be 114/(-12)*((-2)/3)/(8/12). Which is bigger: 17 or s?
17
Suppose -41*h + 3040 = 88. Suppose -4*d = o - 2*d - 3, 0 = -2*o - 5*d + 9. Let r be 48/(-14)*(o - 18). Is h not equal to r?
False
Let s = -1870 - -1949. Are s and 66 nonequal?
True
Let x be (-25514)/29970 - 2/(-10). Let a = x - -44/81. Suppose 15873 - 15863 = -10*t. Which is greater: t or a?
a
Let t = -967 - -966. Are -70/193 and t equal?
False
Let n(v) = 2*v**2 - 41*v + 31. Let a be n(13). Let c = 168 + a. Which is smaller: 24 or c?
c
Let o = -3261 + 2059. Does -1202 = o?
True
Let p be (-170*6/(-30))/2. Does p = 91?
False
Let q be (4/130)/(2/30). Let n(g) = 4*g - 88. Let h be n(22). Suppose -40*f + 34*f - 6 = h. Is f greater than q?
False
Let h = 0.092 - -226.908. Let g = h - 148. Let u = 78.94 - g. Which is smaller: 0.03 or u?
u
Let m = -6801 - -6764. Suppose 10*r + 209 + 201 = 0. Is m equal to r?
False
Let k be 294/63*12/14. Which is smaller: k or 455?
k
Let x be -78 + 107 + 0 + -9. Suppose 3 + 11 = j. Which is bigger: x or j?
x
Let p = -8076 + 8112. Are p and -183 non-equal?
True
Let b(f) = 257*f + 7452. Let k be b(8). Is 9508 less than k?
False
Let x = 3360 + -349. Is x >= 3012?
False
Let w be 3 - (133/8)/7. Suppose 3*f = -34 + 37. Suppose 12 = 11*v + f. Which is smaller: w or v?
w
Suppose 38*r - 41*r - 4*o - 1411 = 0, -r = 4*o + 465. Are r and 1/3 nonequal?
True
Let h = 15473 + -15410.86. Which is smaller: -2/3 or h?
-2/3
Let w = 101 + -100. Let r be 4 + w - 1 - 299/69. Is r not equal to 0.18?
True
Let d be ((-10)/(-45)*-87)/(11/(-33)). Which is smaller: d or 1051/18?
d
Let k(l) = -2*l**3 - 9*l - 36. Let b be k(-3). Suppose 48*s - 627 = b*s. Is s greater than 209?
False
Let m be (-20)/8*(-12)/15. Let n be -1 + -2 - m*(-68)/8. Suppose 2*k = -n + 8. Is k not equal to -5?
True
Suppose 11*g + 0*g - 2244 = 0. Let u be (3 + -2)/(11/((-18040)/(-8))). Which is smaller: u or g?
g
Let b = 2224/3 - 477. Let c = b + -249. Let w be 22736/1392 - 2/6. Which is bigger: c or w?
w
Let y = 111.54 + -119. Let b = y + 7.5. Let v = 31 + -30. Is b greater than v?
False
Let l be ((-17766)/(-70))/((-2)/(-10)). Suppose 5*k + q - l = 0, 3*k + 2*q - 876 = -109. Is 253 at most as big as k?
True
Let p be (-3)/(-1*3/(-309)). Let s = p + 2782/9. Which is smaller: 3 or s?
s
Suppose -4*t + 3*v = -1340, -2*t + 2*v + 203 = -467. Is 327 less than t?
True
Suppose 0 = 4*j - 0 + 4. Let p be ((-327)/(-153) + 4/(-2))/(120/(-720)). Which is bigger: j or p?
p
Let x(w) = -2*w - 11. Let a = 16 - 21. Let g be x(a). Suppose -3*r = -4*r. Which is smaller: r or g?
g
Suppose 531 = -3*b + 3*d, 529 = -12*b + 9*b + 2*d. Do b and 1.3 have the same value?
False
Suppose -4 = 5*f - f. Let r be 56/(-140)*(-20)/(-2). Let d be r/20*(10 + 5 + -6). Is f greater than d?
True
Suppose -4*c = -4*y - 113 - 35, 0 = -2*y + 3*c - 75. Let f = -31 - y. Suppose -4*s - 4*l = -20, -5*s + 0*l = -f*l - 5. Are s and 3 equal?
True
Let h(y) = -y**2 - 96*y + 831. Let z be h(8). Suppose 8*l + 2 = 6*l. Are l and z non-equal?
False
Let i = 762.391 + -763. Let c = 0.009 + i. Suppose 0 = 2*j - 5*t - 17, t - 1 + 0 = -4*j. Which is smaller: c or j?
c
Let d(f) = 17*f + 2. Let r be d(-7). Let i = -118 - r. Let v be i + 3 + (3/1)/(-3). Is 1/47 at most as big as v?
True
Let v be (-6794)/(-774) - (1 - (-2)/(-3)). Let y = 11/9 + v. Which is smaller: y or 11?
y
Suppose 6*r + 7360 = 22*r. Let j be 16/72 + r/(-45). Is 1 < j?
False
Suppose 3*y - y = 10, -3*v + 2*y + 398 = 0. Let f(b) = -12*b - 1. Let q be f(-1). Suppose 7*t - v = q. Which is smaller: 20 or