1/23
Let b = 8.27 + -393.27. Let g = -381 - b. Is 27 not equal to g?
True
Let l be (155 + 39)/(1*2). Are l and 0 equal?
False
Suppose -6699 = 35*a + 3311. Which is smaller: a or -288?
-288
Let l = 1344 - -225. Is 1569 > l?
False
Let d be ((4/(-6))/(164/(-1107)))/(9/198). Is d at most as big as 98?
False
Let d(r) = -r - 3. Let y be d(-2). Let l be (1 - y) + (-5 - -1) + -2. Which is smaller: l or -50/13?
l
Let h = 191 + -193. Is -0.051 at most as big as h?
False
Suppose 326 = m - 2*a + 336, -4*m - 5*a - 92 = 0. Is -203 less than m?
True
Let l be 7718/35 - (-398)/1393. Which is smaller: 222 or l?
l
Let h(x) = 1145*x + 4522. Let k be h(-4). Which is greater: k or 47?
47
Suppose 393*j + 61880 = 263*j. Which is greater: j or -485?
j
Let f be (-7 - -16) + -90 + 7. Which is smaller: -72 or f?
f
Let r = -799 + 1319151/1651. Let c be (-40)/96*16462/16510. Let q = c - r. Is q at most -1?
False
Let n = -519 - -236. Let f = -312 - n. Suppose 5*s + 36 + 99 = 0. Is f >= s?
False
Suppose 6*t - 176 = -2*v + 2*t, t = 4*v - 316. Suppose 15*j - v = 760. Is j >= 56?
True
Let h be (-1905)/183 - 6*(-55)/66. Are h and -6 nonequal?
True
Let r = 364 + 2060. Is 2/3 <= r?
True
Let y = 3900 + -4001. Let c = -0.029 + -100.971. Let g = c - y. Is -20 greater than g?
False
Let q = 225.33 - 2707.33. Is q greater than or equal to -4?
False
Let z be ((-10023)/2 - (0 + 3))*16/12. Is z >= -6687?
True
Suppose -5*g = 21*g - 260. Let h be g/150*-6 + (-688)/5. Is -138 > h?
False
Let w = 3399 + -4332. Are w and -931 equal?
False
Let q = 3126.75 + -3127. Is q greater than or equal to 47?
False
Let v be (-1 - 6824/6) + (-48)/(-192). Let b = v - -1139. Are b and 0 equal?
False
Let k be 1/(-5) - (-4 - 1734/(-30)). Let i = 65 + k. Is i less than 14?
True
Suppose -31*g + 1638 = -25*g. Let y be g/119 + (-12)/4. Which is bigger: y or -2?
y
Suppose 0 = 6*d - 3*d + 3057. Let g be 16/(-28) + d/(-7). Suppose 3*y + 19 = -2*h + 90, -4*h = 3*y - g. Is 36 > h?
False
Let c be -2 - 3*(0 - -4). Let v(l) = -l**2 - 3*l + 68. Let w be v(-10). Let f be ((-6)/w + -1)*(-225)/30. Which is bigger: c or f?
c
Let k = -157 - -345. Let p = k - 128. Let l = -75 + p. Is -1/4 >= l?
True
Let j be 310*(-39)/(-351) - -8. Suppose 4*c - 114 = -i + 53, -i - 134 = -3*c. Is c >= j?
True
Suppose 9*i - 44 = 208. Let f be i/(-8)*(-18)/21. Let j be (94/(-6))/(f + 40/(-15)). Is j smaller than -45?
True
Let i = 168 - 551. Let n = i - -382.9. Does -8.6 = n?
False
Let h = 4190 + -4639. Which is greater: h or -444?
-444
Let f = 592.209 + 7.691. Let y = f - 600. Let t be (-2)/50 + -2 + 2. Which is bigger: y or t?
t
Let j = -3.5 - -3.604. Let z = -0.396 - j. Do z and -12 have different values?
True
Let r be (-308)/44 - ((-260)/28 + (-4)/(-14)). Let x = -25.7 + 7. Let d = x + 1.7. Do r and d have the same value?
False
Let q = -1181.88 + 1182. Let z be 1/(-2)*0 + (-59)/(-118). Is q greater than or equal to z?
False
Suppose s - 6*t + 4*t = -6, 0 = -5*s - 5*t + 15. Is s >= -2/2129?
True
Let x(t) = 11*t + 67. Let s be x(-25). Let i = 258 + s. Which is greater: 49 or i?
i
Let j = -4082/7 - -586. Let q = 2521 - 2518. Is j <= q?
True
Let y(a) = 4*a + 33. Let k be y(-7). Suppose -v - 5*v = -k*v. Suppose v = 4*m - 5*f + 57 - 7, 0 = -4*m - 5*f - 70. Which is smaller: 0.3 or m?
m
Suppose -11*x = -16*x + 75. Suppose 0 = -10*s + x*s - 290. Is s less than 61?
True
Let y(a) = -a**2 + 22*a - 61. Let j be y(20). Let q be (j/(-9) + -2)/(68/(-216)). Is 0 smaller than q?
False
Let x = 234.7 + -257. Let k = 17.3 + x. Let d = -2.8 - -2.83. Which is smaller: k or d?
k
Suppose 2*c = 78 + 18. Suppose c = -27*h + 33*h. Is h less than or equal to 4?
False
Suppose 0 = 4*k - 4*q + 40, 0 = 3*k + 3*q + 2*q - 10. Let j(d) = -2*d**3 + 2*d**2 + 3*d - 4. Let l be j(2). Is l < k?
True
Let s be ((-41)/2)/(17/(-34)). Let g = s - 37. Let w be (3 - 2)*(0 + 1). Is g at most as big as w?
False
Let w be 22/44*(-1 + (-4)/4). Suppose 2*d - 4 = 0, 3*d - 46 = -2*r + 4*r. Let s be ((-4)/5)/(776/r). Is w <= s?
True
Suppose -73 = 5*k - 223. Suppose -23 = 7*v - k. Is 1/416 greater than or equal to v?
False
Let o = 2977 + -2978. Is -2/1333 at least o?
True
Let l = 82 + -70. Suppose -2*j = c - l, -2*j = -4*c - 1 + 9. Let s be (c/10)/((-20)/410). Which is greater: s or -9?
s
Let h(c) = -94*c**3 - c**2 + 2*c + 3. Let x be h(-2). Suppose 504*d - x = 513*d. Which is smaller: -82 or d?
d
Suppose 0 = -18*q + 17*q - 165. Let f be 37565/q - (2/(-6))/(-1). Let g = f - -128. Which is smaller: -101 or g?
-101
Let c be 6 + -10 + 10596/18. Let j = 585 - c. Is -10 bigger than j?
False
Let i be 6/((-2)/(-592 - (-5)/(-5))). Let v = -416285/234 + i. Is 1 smaller than v?
False
Let u = 17 - 12. Suppose 3*m = -u*b + 10, 5*b - 8*b = 2*m - 5. Let c(j) = -8*j**2 - j. Let p be c(1). Which is greater: p or m?
m
Let z(l) = -l**3 - 5*l**2 - 3*l + 2. Let q be z(-2). Let u(w) = w - 19 + 3 - 4*w + 1. Let n be u(q). Which is smaller: n or -2/9?
n
Suppose -f + 24 = 5*p, -4 = p - 9. Let w(d) = 194*d**2 + 5*d + 2. Let c be w(f). Is c >= 193?
False
Suppose -416*p + 492*p = -304. Which is bigger: p or -94/37?
-94/37
Let q be 12247/74 + 1/2. Let z = q - 156. Is z less than or equal to 9?
False
Let g(d) = -4*d + 24. Let h be g(6). Suppose 0 = 5*z + 5*v - 225, z + v + 3*v - 60 = h. Let j be (z/25)/8 + 6/(-5). Is j equal to -4/19?
False
Suppose 89*y - 21991 = -60172. Which is greater: -433 or y?
y
Suppose 0 = -9*v + u + 133 + 108, 5*u - 3 = 7. Let c be (-4)/(-6) + (-11)/18. Let i = 13/18 - c. Do v and i have the same value?
False
Suppose 4*o - 4*p - 16 = 0, -3*o + 6*p = 2*p - 8. Suppose 3*w + 6 = -c - 32, c + 4*w + 42 = 0. Let n be (-41)/9*(351/c)/9. Which is smaller: n or o?
n
Let y(v) = 62*v - 373. Let u be y(6). Is 2/21145 at most as big as u?
False
Let g be 9/(-6) - (-55)/50. Let d be (-408)/(-920) - ((-8)/10)/(-2). Which is smaller: g or d?
g
Suppose -105*g + 84*g - 111825 = 0. Are g and -5324 nonequal?
True
Let a = -324/7 + 46. Let c = -25 + 177. Let n = 151 - c. Which is smaller: a or n?
n
Let x = 2776/15 - 185. Let u = -7/30 - x. Suppose -n + 5*d = 14, 3*d - 8 = 4*n - d. Is n bigger than u?
True
Let f = 0.062 - 102.062. Let d = f + 55. Let p = d - -47.2. Is 24 greater than or equal to p?
True
Let u(k) be the first derivative of 15*k**2/2 - 223*k - 108. Let v be u(18). Which is bigger: v or 53?
53
Let w be (-2)/((-102)/(-21))*(-14 + 34 + -19). Let o(v) = -v**3 - 4*v**2 + 4*v - 6. Let i be 1 + -6 + 0/1. Let b be o(i). Which is smaller: b or w?
b
Suppose 21*c + 48 = 5*c. Let y be ((-959)/(-329) + c)*(-1)/6. Which is greater: 1 or y?
1
Let a be -16 + 13/((-182)/(-196)). Which is greater: 987 or a?
987
Let s = -3 - -25. Let f = 343 - 577. Let p = f - -255. Which is smaller: p or s?
p
Suppose 0 = -2*c, c = 3*z + 8 - 2. Let d be (z - 9/(-5))/(4/432). Are d and -23 non-equal?
True
Let i be 88/34 - (53 + -52). Suppose 0 = -14*k + 19*k - 15. Do i and k have the same value?
False
Let h = -174 - -190. Let m = h - 29. Is -35/3 at most as big as m?
False
Let u be (5/40)/(52/(-271336)). Are -653 and u equal?
False
Let x be (-3)/(-10) - (81348/(-440) - -3). Which is smaller: 183 or x?
x
Let o be (-3 + (-56)/(-20))*5. Let h be (0 + 1 - 1) + 132 + o. Is 2 equal to h?
False
Let w = -17.856 + 13.2. Let u = w - -4.6. Let g = -0.204 + u. Is g < -1?
False
Let h(g) = 25*g + 2513. Let d be h(-97). Suppose 0*y + 3*y - v - 276 = 0, 2*y - 184 = 5*v. Which is bigger: d or y?
y
Let d = -2152 + 2263.63. Which is greater: -1 or d?
d
Let h = -2 + -7. Let q(v) = -821*v + 4917. Let k be q(6). Is k bigger than h?
False
Suppose 1094 = 13*v + 184. Let r = v - 168. Is -98 != r?
False
Suppose 21 = 3*w - 4*w. Let i be 6/(-20) + -1 + w/(-15). Let m be (-2)/5 + (-14)/(-10). Which is greater: i or m?
m
Let w = 4635 + -6925. Is -2290 bigger than w?
False
Let k = -2941 - -3278. Is k < 343?
True
Let x = -9109 + 9153. Is x at least as big as 299/7?
True
Suppose 0 = -q - 13*q + 294. Suppose -2*u = 0, -2*u = 3*f - 0*u + q. Which is smaller: f or 3?
f
Let o = -35 + 34. Let l = 171 - 42. Let c be (-1 + 135/l)/((-2)/2). Do o and c have different values?
True
Let k = 0.2 + -0.8. Let d = -317/17 - -5989/323. Which is smaller: k or d?
k
Let l be (-19)/((-1463)/(-22)) + -1*(-4803)/(-21). Is l greater than -223?
False
Let s = -26385 + 26206. Which is greater: -190 or s?
s
L