?
t
Let k = 401/6405 - 1/183. Let f = -576 + 603.9. Let w = f + -28. Which is bigger: w or k?
k
Let o = -227/30 + 16/15. Suppose -8*f + 8 = -4*f. Suppose -f*t + 0*t = 12. Is o equal to t?
False
Let b = -3 + 2.16. Let z = -0.668 - b. Let g = z - 0.072. Which is greater: g or -0.3?
g
Let v(u) = 4*u**3 + u**2 - u. Let w be (-3)/12 + 3/(-4). Let z be v(w). Let c be (z*(-1)/(-30))/1. Which is smaller: 1 or c?
c
Let l be (6/4)/((-19)/570). Let i = -37 - l. Let b be (-6)/i + (15/(-4))/(-5). Which is smaller: b or -3/28?
-3/28
Let y = -698918/91 - -54268/7. Is 72 greater than y?
False
Let u = -3402 + 3401. Which is smaller: -9/34 or u?
u
Suppose 4*j = 4*x - 56, x + 50 = -4*j + 2*x. Let q be 4/j*(-3 + 294). Which is smaller: q or -96?
q
Let l = 2.6 + 10.4. Let d = l - 14.42. Is d at most -0.1?
True
Let u be 3*2/(111180/11846). Let z = u - 52/85. Let n = z - 451/545. Does n = 6?
False
Suppose -61*j = -65*j + 56. Suppose 0 = -4*r + 20, 2*w + j + 13 = 3*r. Let n = 10 + -4. Are n and w equal?
False
Let o be (54183838440/309)/(2 - (-1 - -1)). Let c = o + -87673287. Let b = c - 2827. Is b at least 1?
False
Suppose -2*c + 3*r + 80 = 0, 2*r = -5*c - 32 + 232. Suppose 0 = -4*y - 224 + 16. Let u = 92 + y. Is c at most as big as u?
True
Let n be ((-498)/(-4))/(555/296). Suppose 122 = 4*z - 142. Let r = z - n. Is 2/9 at least r?
True
Let k = 1195 - 127. Let r = 878 - k. Which is greater: r or 2?
2
Let l be 1/(3 + (-100)/35). Suppose -s - 192 = -l*s. Suppose 0 = s*t - 27*t + 115. Which is smaller: t or -21?
t
Suppose -27*a - 233 = -26*a. Let z = a + 261. Do 27 and z have the same value?
False
Suppose -610687 = -99*c - 39*c + 2705039. Do 24027 and c have the same value?
True
Let x = -299 + 278. Let z be x + (-12 + 3 - -2). Which is smaller: -14 or z?
z
Let k(h) = 7*h**3 + h**2 - 4*h + 4. Let c be k(2). Suppose 4*p + c = -2*z + 258, 2*z = 2*p - 116. Suppose 0 = 4*a + 5*s - p, -a + 5*a = -s + 49. Is 10 < a?
True
Let m(d) = 3*d + 17. Let v be m(-5). Suppose -5*s = -0*s - 3*j - 95, s - 4*j - v = 0. Let a = -14 + s. Which is greater: a or 7?
a
Suppose -454*o - 456 = -462*o. Let j = o - 486. Is j at least -428?
False
Let o = -874288951/1784055 - -11/356811. Let t(j) = -32*j**2 - 5*j + 2. Let i be t(-4). Let w = i - o. Do w and 3 have different values?
True
Let h = -1209958/7 - -173170. Which is bigger: 318 or h?
h
Let i be -9 + (550/(-33))/(-2). Which is bigger: i or 336?
336
Let p(w) = -9*w**2 - 4*w + 1. Let l be p(-4). Let o(c) = -18*c**3 + 3*c**2 - 65*c - 139. Let s be o(-2). Let z = l + s. Which is bigger: z or 19?
z
Suppose -191*a - 13 = -5*t - 195*a, 1 = -t + a. Which is greater: 28/479 or t?
t
Let w = -0.163 + 0.205. Let b = 13.7 - 13.842. Let q = w + b. Is q > -1?
True
Suppose -4*u + 320 = 3*x - 0*u, -5*x + u + 564 = 0. Let z = -12740 + 12851. Is x less than z?
False
Let t(i) = -2*i**2 - 47*i - 23. Let d be t(-23). Which is bigger: d or 3/524?
3/524
Let y = -35838 + 50328. Let a be (-4)/26 - y/19890. Is a greater than or equal to -2?
True
Let f = -1/616 + 171/36344. Let h = 19351/3 - 96752/15. Is f smaller than h?
True
Let m(g) = 2*g**3 + 66*g**2 + 65*g + 36. Let h be m(-32). Let t(a) = 2*a**2 - 4*a - 3. Let z be t(3). Are z and h non-equal?
True
Let j(v) = v**3 - 27*v**2 - 57*v - 30. Let u be j(29). Let q be (-377 - 2) + -2*(1 - -1). Which is greater: q or u?
u
Let d = -427.388 + 0.388. Let u = 550 + d. Which is smaller: 0.3 or u?
0.3
Let s = 10642 - 10642.208. Do s and 0.07 have different values?
True
Let f = 559.1 - 493.1. Which is bigger: -15 or f?
f
Let y(p) = -p + 1. Let t be y(2). Let v = -25120 + 351677/14. Is t != v?
True
Let y be (-5976)/376 - (-368)/23. Suppose 0 = 3*z + 7 - 4. Is y < z?
False
Suppose 2 = 6*k + 14. Let m be k - (147/28 - 7). Let p = 1 + 0. Is m less than p?
True
Suppose g = -0*g - 3*t - 13, -5*t = -5*g + 15. Let z = -79.585 + 3.585. Is g at most z?
False
Let x = -9451 + 9463. Are -437 and x nonequal?
True
Let y = -236 + 229. Let z(f) = -5*f - 25. Let a be z(-7). Which is bigger: y or a?
a
Suppose -3*b - b = -340. Let l = b + -221. Let r = l + 131. Which is bigger: -1 or r?
-1
Suppose -5*w + w - 148 = 0. Let i = w - -6. Let c = i - -38. Which is smaller: c or 9?
c
Let l = -53/497 - -669545/5467. Which is greater: 1 or l?
l
Let v = 2255.797 + -2256. Are v and -3/4 equal?
False
Let b be -1*11/((-22)/(-20)). Let y be b/((-10)/(-4) - 3). Let u = -7 + y. Which is smaller: 15 or u?
u
Suppose 4*j = -4*t + 2232, 1116 = -3*j + 5*j + 4*t. Let k = j - 614. Which is smaller: k or -54?
k
Let x = -294.3 + -5.7. Let o = -311 - x. Is -15 at most o?
True
Let x be (6/8 + -1)/((16 + 1)/17). Is x less than 5893?
True
Let m be (14/(-6))/(595/(-510)). Let x be 14/(-3) - 6/(-9). Is m at most as big as x?
False
Let w = -12 - -13.2. Let r(h) = -23*h + 186. Let g be r(8). Is w >= g?
False
Let y(o) = 34*o - 33. Let g be y(1). Let x be (-8)/(8/(-3)) + -7*g. Which is bigger: 2 or x?
2
Let a be (-51)/102*(-87)/4. Which is smaller: 10 or a?
10
Suppose -55*i = -14*i + 287. Let a be -3*1/21 + (-1)/i. Is a > -28/71?
True
Suppose -4*t + 3*r - 6626 = 0, 4*t + 6622 = 6*r - r. Let d = -285177/172 - t. Which is smaller: d or 0?
d
Suppose 0 = -2053*i + 2041*i. Which is bigger: i or -86/63?
i
Suppose 5*k = -15, -4*k + 17 = -4*c + 81. Suppose -5*w + c = -w + 3*h, -h + 7 = 2*w. Let u be 1150/(-140) - (-10)/w. Which is smaller: -5 or u?
u
Let l = 5830 - 5828. Is -771 at most l?
True
Let c(u) = -u**3 + 12*u**2 + 2*u - 22. Let k be c(12). Suppose -k*v + 92 = -4*s, 3*v + 6*s - s = 171. Is v less than 52?
False
Suppose 165 = 4*k - 5*l, -2*l + 108 = 4*k - 22. Suppose 2*n - 43 = -k. Which is greater: 3 or n?
n
Let t(n) = -n**3 + 6*n**2 + 2*n + 5. Let q be t(5). Suppose -2*o - 5*v = -q, 0 = -2*o + v + v + 12. Suppose 6*g - o*g = 4. Which is smaller: g or -2/5?
g
Let s be -29*(-32)/1856 - (-37)/(-86). Let n = 30 - 30. Are n and s non-equal?
True
Let l(p) = 19*p + 31. Let x be l(8). Let g = 186 - x. Let q = -0.12 + -0.08. Is q > g?
False
Let y = -0.051 + 0.131. Let v = -2/307 + -604/1535. Do y and v have different values?
True
Let h be (8/(-12))/((-1)/(-24)). Suppose 34*t - 14*t + 360 = 0. Which is greater: t or h?
h
Suppose -5*h - z + 3 = 0, -8*z = 4*h - 5*z - 9. Let g be 5/(-10)*(4 - h) + -13. Is g bigger than 1?
False
Let o = -11809/5 + 2354. Suppose -64*b = -62*b - 10. Suppose 0 = -3*g + 15, b*f - g = 2*f - 29. Which is greater: o or f?
o
Suppose -14*r - 80 = -10*r. Let n = r - 19. Suppose 3*t + 77 + 37 = 0. Is n <= t?
True
Let g(l) = -l**2 - 21*l - 87. Let t be g(-24). Let r = t + 119. Which is smaller: r or -116/3?
r
Let m be 129/27 + 26/117 - 153/6. Is -0.5 at least as big as m?
True
Let b be (-4212)/(-135) + -31 + 0 + (-69348)/(-10). Are 6934 and b equal?
False
Let o = 373 + -361. Let a be (60/(-69) + 1)*o/18. Is a less than -4?
False
Let u(g) be the first derivative of -g**2/2 + 17*g + 13. Suppose 60 = 5*t + h, 2*t - h = 2*h + 41. Let x be u(t). Is x > -0.07?
True
Let b be 26/8*(-3)/(-861)*-14. Which is greater: -1 or b?
b
Suppose -155*g + 15 = -4*q - 152*g, -5 = 3*q - g. Which is smaller: 1/21 or q?
q
Let x be ((-1)/3)/((-42)/(-378)). Let r = -50955289/240 - -212312. Let n = r + 23/16. Which is greater: n or x?
n
Let m = -2066 + 2057. Suppose -24 = -2*l - 2*l. Which is greater: l or m?
l
Let c(v) = -4*v**2 - 301*v + 32. Let j be c(-9). Which is bigger: 0 or j?
j
Suppose 3897 = -8*v - 1599. Let y = -646 - v. Which is smaller: 38 or y?
38
Let h be 5539/1363 - (4 - 0). Suppose 16 = -4*d, -4*x + 7*d = 6*d. Which is greater: x or h?
h
Let d be (1 + (-8)/5)/((-1239)/(-590)). Let c = 231 - 522. Which is smaller: d or c?
c
Suppose -4*m + 2*j - 75 = -7*m, 0 = -3*m + j + 84. Let s = 127 - 101. Is s > m?
False
Let u(y) = y - 11. Let h be u(10). Let c be 1*17 + ((-4)/(-1))/h. Suppose 60 = -b + c*b. Which is greater: 9 or b?
9
Suppose 0 = -24*v - 57 + 105. Let m be (-376)/39950*(-15)/v. Which is greater: 1 or m?
1
Suppose 2*x = 4*b - 1320, 5*x + b + 3240 = -4*b. Let r = 1286 + x. Is 635 at most as big as r?
False
Let v be 2 - (-4 + 3) - (8 - 73). Suppose 6*b + 4*p - v = 10*b, 3*p = 2*b + 29. Are b and -21 non-equal?
True
Suppose 4*w + 5*p = -34, 8 = w + 9*p - 5*p. Is w <= -71?
False
Suppose g + 3*x - 17 = 0, 3*g + 38 = 6*g - 4*x. Let q be ((-102)/(-119))/(8/g). Let u = 0 - -1. Which is s