an z?
False
Let a be (-2)/(-4)*(36 - 525). Let t = 245 + a. Is t <= 0.28?
False
Let r(f) = -f**3 - 8*f**2 + 8*f - 8. Let t = -65 - -56. Let p be r(t). Is -2/5 < p?
True
Let m be ((-1)/(1078/21))/((-245)/10). Is 1 smaller than m?
False
Let u be 68/238*(-14)/(-4). Let c = -7 + 13. Let s be (c - 5)/((-46)/16). Are s and u equal?
False
Let y be (-4 - 1 - -9)/(4/6). Let t be ((-3)/y)/((-30)/190). Is 2 > t?
False
Let a = -58 + 54. Let h = -39 + a. Let n = 59 + h. Which is smaller: n or 0?
0
Suppose -14*w = -18*w - 204. Let k be w/105 + (-14)/(-49). Let y be ((-20)/3)/(-5)*-3. Which is smaller: k or y?
y
Suppose -r - 69 = 4*g, 5*g + 36 + 49 = -r. Let k be ((-7)/4)/(g/(-64)). Is -40/7 at least k?
True
Let x be (-1 + 2)*(-11)/(-3025). Let z = x - 284/2475. Which is smaller: 2 or z?
z
Suppose -2*h - 3*h - 99 = 2*o, o - 226 = 12*h. Which is smaller: h or 2?
h
Let g be ((-5)/(-2)*-2)/1. Let t be 9/(-3) + 85/(-17). Let l be (g - 94/4)/(6/t). Is 37 greater than l?
False
Let x = 4.99 + -5.2. Let d = x + 0.174. Let g = 0.964 - d. Which is greater: g or -17?
g
Suppose 114972 = -447*z - 11304 - 208974. Which is smaller: 10 or z?
z
Let s be -1 + 0 - (884/(-39))/34. Does s = 0.1?
False
Let a be (-2 - 0) + (-36 - -38). Let g(m) = -11*m + 21. Let o be g(15). Let q = o - -717/5. Are q and a unequal?
True
Let b = -91 + 246. Suppose -b*n + 148*n = -2317. Is 332 greater than or equal to n?
True
Let r(v) = 3*v + 1. Let a be r(1). Suppose 32 = -4*t + 4*y, 0 = -t - a*y - 1 - 2. Let i be 90/(-94) + t*(-8)/56. Is i >= -3/2?
True
Suppose -3*a - 15 = -0*a. Suppose -771 = 156*q + 64*q + 329. Is q less than a?
False
Suppose 5*x - 4*k + 1586 = -1031, 5*x + 2596 = -3*k. Let p = x - -520. Which is greater: 2/1167 or p?
2/1167
Suppose 67*u + 236 = 63*u. Suppose -5*f - 2*c - 287 = 0, -399 = 5*f + 3*c - 116. Are u and f nonequal?
False
Let r = -2050567/14605 + 5/2921. Is r != -140?
True
Let t be -8 + 4/(-24) + (-774)/(-108). Which is greater: -2/11983 or t?
-2/11983
Let a be (0 + 0)*(-2)/4. Let j = 920 - 941. Let i be j/(-34) + 34/(-68). Which is bigger: i or a?
i
Let h be 3/(-12) - 4478/(-17848). Let d = -396511 + 396511. Is d smaller than h?
True
Suppose 3*q = -12 - 27. Let k = -19222/9 + 384431/180. Which is smaller: q or k?
q
Suppose -1449 = -v + 2*y + 4735, -y = 1. Is v at least as big as 6182?
True
Suppose 3*f = 5*w + 325, 2*f + 333*w = 331*w + 190. Is f equal to 122?
False
Let m = 199/3 - 3377/51. Let y = -163 + 152. Let x = y + 12. Is x at least m?
True
Let q = -0.2809 - 19.3831. Let b = -19.7 - q. Which is bigger: -0.3 or b?
b
Let x = 1.3225 - -175.6775. Let y = -52/77 + 2/231. Which is smaller: y or x?
y
Suppose 0 = -b - 3*n + 11, 10 = -b + 4*n - 0*n. Let c be (-4 - (-7)/2)/(b/(-164)). Is c != 42?
True
Suppose b + 389 = j, -2*j + 50 = 2*b - 716. Which is bigger: j or 4244/11?
j
Let b = 208 - 133. Let w = b - 88. Let z(h) = h**3 + 14*h**2 + 12*h - 6. Let j be z(w). Is 6 at most as big as j?
True
Let v = 33126 - 33115. Which is smaller: -65.3 or v?
-65.3
Suppose -2*x + 10 = 5*i, 4*i - x - 8 = -2*x. Suppose -w = -i*w - 29. Let f = w + 117/4. Which is greater: 14/5 or f?
14/5
Let w be (136/16)/(-17) + (-274)/4. Let u = w + 69. Is -2/67 less than u?
True
Let p(b) = b**3 + 3*b**2 + b - 1. Let i be p(-2). Let z(q) = 3*q**2 - q - 1. Let h be z(i). Is h less than 18/11?
True
Let o(k) = -k**2 - 4*k - 3. Let s be o(-3). Suppose s = -0*n - n + 11. Suppose -n = 2*q - 13. Is 2 greater than q?
True
Let p = 28671/2 - 14271. Let q be 2/(0 + 2)*64. Does p = q?
False
Let s = 1037 + -873. Is s greater than -0.3?
True
Let f(s) = -s + 11. Let y be f(-7). Suppose 12 = 6*z - y. Suppose -82 = t - 4*w, -3*t - 169 + 8 = z*w. Which is greater: -2/7 or t?
-2/7
Let a be 2/6*(-6)/(-7). Let q = -0.284 - 0.426. Let w = -1.99 + q. Which is greater: w or a?
a
Let f = -6.926 - -13.926. Is -153 < f?
True
Let z be (-2 - 10/(-20))*28/42. Suppose 5*v = s + 10, s - 13 = -s - v. Let x be (s/(-15))/(55/(-18)). Is x at least as big as z?
True
Let m = -30526 + 29927. Is m != -4803/8?
True
Let h(j) = -14*j - 211. Let k be h(-15). Is 799 at least as big as k?
True
Suppose 0 = -2*r - y + 949, 5*r - 5*y = -0*y + 2335. Let t = 427 - r. Which is greater: -314/7 or t?
-314/7
Let c = 21/186241 + 92537039/219391898. Let k = c - 9/31. Which is greater: k or -1?
k
Let i be ((-4)/12)/1*2049. Let c = 2107/3 + i. Let x = c - 193/12. Is x at most as big as 3?
False
Let w(i) = -i**3 + i**2 + i - 4. Let a be w(4). Is -70 not equal to a?
True
Let r(o) = -o**2 + 20*o - 88. Let h be (-7)/4*11/(121/(-44)). Let d be r(h). Is 24/11 > d?
False
Suppose 4*r - 2 = 18. Suppose 5*j + 48 = 4*t, 2*t + 36 = 5*t + 4*j. Let n be (t/(-5))/((-2)/r). Is n < 3?
False
Let r = 19769 + -59309/3. Which is smaller: -0.01348 or r?
r
Let t = 5507 + -6640. Is -1132 != t?
True
Suppose 2*x = 3*k - 12, -x = 23*k - 25*k + 8. Suppose -4*q + 3*y - 16 + 1 = 0, 10 = k*q + 2*y. Which is smaller: -7/29 or q?
-7/29
Let i = 32.8 - 36.8. Let m be (-24)/(-32) + (-53)/(-4). Let g = -13 + m. Which is smaller: i or g?
i
Let j = -5.7 + 6.052. Let z = j + 0.654. Let d = z + -0.006. Which is bigger: d or -1/14?
d
Let i be (-15)/(-50)*(-1633152)/(-144). Is i greater than or equal to 3402?
True
Suppose -w - r + 8 = 0, -w + 3*r - 5 - 3 = 0. Suppose 0 = 2*l - 7*l + 4*q - 6, q + 4 = w*l. Let o be (l - 14)*(-4)/(-6). Is -3 greater than o?
True
Let q = 2.658 - 2.87. Let z = q + 0.12. Let a be ((-1)/(-3))/(4/(-6)). Is a at most as big as z?
True
Let k(u) = 5*u - 41. Let n be k(8). Let z be 12/(-14) + 1656/2079. Which is greater: z or n?
z
Let b be (6*4/32)/((-33)/(-1144)). Let f be 2/(-4) + 195/b. Let j(k) = -k + 4. Let q be j(6). Does q = f?
False
Let l = -4.2459 - 0.0421. Let b = l + -0.012. Let x = 3.2 + b. Does x = -1?
False
Let x = -8308 - -8141. Do x and 13 have the same value?
False
Suppose 3*g = 3*k + 30, 3*g + 130 - 56 = -5*k. Let a(d) = 9*d + 90. Let p be a(k). Is p less than -24?
True
Let d(k) = -12*k**3 + 6*k**2 - 10*k - 9. Let i be d(-6). Suppose -81 - i = -6*x. Let w be (2/6)/((x/21)/(-10)). Which is smaller: -3 or w?
-3
Let q(l) = -13*l**2 + 2*l - 1. Let m be q(2). Suppose 2*d - 2*i + 360 = 7*d, 2*d - 160 = -4*i. Let r = d + m. Which is smaller: r or 23?
r
Let w(r) = r**2 + 10*r + 9. Let i be w(-9). Suppose -4*t + 9*t + 5 = i. Let j(f) = 6*f**2 - 57*f - 12. Let o be j(10). Is o < t?
False
Suppose -8*p + 980 = -1196. Let i = p - 259. Which is greater: -0.1 or i?
i
Let n = 1614 - 1617. Suppose 3*u = 4*u - 5. Is n > u?
False
Let q be 52/(-130) + (-1408)/10. Suppose 2*u - 930 = 14*u + 774. Which is bigger: u or q?
q
Let w be 32/((-64)/(-4)) - -1692. Is w at least as big as 1695?
False
Let o(s) = s**3 + 16*s**2 + s + 7. Let y be o(-12). Let j = y - 396. Is 175 < j?
False
Let v = 17139 + -20195. Is -3052 > v?
True
Suppose 5*p = -3*o + 6*o + 28, 4*p - 17 = -3*o. Which is smaller: 1/10811 or o?
o
Suppose 4*h = 5*q, q = -5*h + 23 + 6. Suppose q*t = -3*y + 137, 4*t - 119 = y + 2*y. Does t = 31?
False
Let y = 865 + -861.076. Let p = -0.224 + y. Which is smaller: 1 or p?
1
Let o = -67 + 74. Let a = -2311.2 - -2312. Is o > a?
True
Let r(n) = -2*n**3 - 27*n**2 + 11*n + 18. Let i be r(-14). Let x be 174/i - 1/2. Is x at most as big as 2/5?
False
Let o = -5569 - -5537. Are 3/25 and o non-equal?
True
Suppose h + 2*p - 33 = -6, -5*p - 90 = -2*h. Suppose 37*f - h*f + 10 = 0. Which is bigger: f or -6?
f
Let c = 160 + -88. Suppose -c = -12*w + 468. Suppose -23 - w = -4*f. Is f < 0.2?
False
Suppose h - 6 = 0, 480 - 601 = -5*p + 4*h. Is 78 less than or equal to p?
False
Let d = 28076 + -28072. Which is smaller: d or 406/85?
d
Let h = -12.63 - 0.37. Let u = -33 - h. Let w = u - -19.94. Is -3 <= w?
True
Suppose 0*m = -2*m + 12. Let y be m/(-21) - 7/(98/(-592)). Let n = y - 42. Are 9/10 and n equal?
False
Let x = -3.2 - -2.2. Let r = -25.8736 - 0.3264. Which is greater: r or x?
x
Suppose -4*s + 144 = -3*k, -2*k - 4*s + s - 79 = 0. Let j = k + 41. Let x be 165/(-44) + (-2)/8*j. Is x at least as big as -5?
True
Let j = 26 + -22. Let k be j*4*(-2)/(-16). Suppose v - 2 = k. Is v at most 7?
True
Let n be 6/(-14) + (-35)/1911*-22. Let j(o) = -o**3 + 5*o**2 + o - 2. Let v be j(3). Suppose 4*l + v = 3*s, -5*s + s = l. Which is bigger: n or s?
s
Let i = 2319077/518 - 4477. Is i > 0?
False
Suppose 13*n + 2