.52?
True
Let f be 6840/(-11780)*2/6. Let a = -5/13 + 41/39. Is a at most f?
False
Let m be -2*(-14)/4 + -34 + 34. Let h be 0 + -7 + 2 - (-1 - m). Which is smaller: h or -5?
-5
Let q = 75 - 75. Suppose -6*u + 21 + 15 = q. Let j(s) = s - 5. Let n be j(8). Are u and n unequal?
True
Let q = 10124 + -4419. Which is smaller: 5706 or q?
q
Suppose -z = -0*z + 10. Suppose -52 - 70 = -2*w. Let b = w + -70. Is z <= b?
True
Let i = -22 + 60. Suppose 2*x - i = 2*u, 3*x + 16 = -u + 1. Let j be (102/8)/(1/4 - (-108 + 109)). Which is greater: j or u?
j
Let z = -115 - -217. Suppose -234 = 3*f + z. Let h = f - -111. Which is smaller: h or 2/81?
h
Let y be (16/(-269384))/(20/59285). Let p = y - -40/223. Which is bigger: p or 1?
1
Let j(v) = -v - 2. Let z be j(-8). Let r be (-15495)/696 - z/2. Let m = r - -201/8. Which is smaller: m or 1?
m
Let q = -129802 + 129845. Suppose t = -31 + 72. Which is smaller: q or t?
t
Let w(i) = 237*i + 780. Let l be w(-13). Is l > -2301?
False
Let n be 5 + (-95)/20 - (-1684)/(-7952). Which is bigger: n or 1?
1
Let m = 13363 + -13281. Is 115 less than or equal to m?
False
Let b(z) = -13*z**2 - 12*z - 7. Let k(p) = 4*p**2 + 4*p + 3. Let j(c) = 6*b(c) + 19*k(c). Let h be j(4). Is h != 6/13?
True
Let i = -0.104 - 3.196. Let x = i + 3. Which is smaller: 1.4 or x?
x
Let u be 5 + -1 - (106 - 9). Suppose -1086 + 52 = 7*h + 4*h. Is h less than u?
True
Let n = 346 - 349. Let k be 3*n/9*0. Do 13/10 and k have the same value?
False
Suppose -2*h + 3*v - 4 - 11 = 0, 0 = -4*h + v - 5. Let f = -2/45708745 - 146130841851/363704483965. Let x = f + 30/73. Is h greater than or equal to x?
False
Let t(d) = 133*d + 1345. Let n be t(-29). Which is greater: n or -2508?
-2508
Suppose 135564 = 685*a - 817*a. Is a > -1023?
False
Let x be (-1)/11 + 396/4356. Let a = -2 + 5. Is a != x?
True
Let n = -1112 + 2174. Suppose -11*p = 7*p - n. Let w = -97 - -155. Is w > p?
False
Let i be (-3 + (-1710)/(-27))*-12. Let p = i - -6518/9. Let o = 479/30 + -47/3. Which is bigger: p or o?
o
Let d(y) = -5*y**2 - 10*y - 5. Let z be 4/(-8) + (-7)/(-2). Suppose 3*q - 3*n = 0, 3 = z*n + 15. Let g be d(q). Is g less than or equal to -44?
True
Let v(a) = -2*a**3 - 10*a**2 + 72*a + 714. Let y be v(-10). Is 995 at least as big as y?
True
Let z = -9 - 11. Let v = 10.974 - 33.974. Is v equal to z?
False
Let i = 2118 - 6859. Let v = 1104657/233 + i. Is v bigger than -1?
True
Suppose 4*h - 4*z = 308, 0*z = 2*z - 10. Let i be (1 - -5)/2 + h/(-42). Let g = 19/7 - i. Which is greater: 1 or g?
g
Let h = 265.6 - 269.9. Do h and -11 have the same value?
False
Let g be ((-1671787)/151983 - 4) + 15. Which is bigger: -1 or g?
g
Let n = -75.1 + 72. Let i = n - 20.9. Let t = i - -26. Does t = -7/5?
False
Let i = -0.0145 - -139.1145. Let g = i - 139. Does g = -0.44?
False
Let g = -2400909 + 172869797/72. Let h = 520/9 - g. Which is smaller: h or -2?
h
Let w(h) = 2*h**3 - 116*h**2 - 117*h - 58. Let v be w(59). Is -5/121 smaller than v?
True
Let i = -30631 + 21626. Is i bigger than -0.1?
False
Suppose 0 = -t + 5*t - 4*n, 0 = 2*t - 5*n + 3. Suppose t = -2*f + 9. Suppose -4*o - f + 8 = 0. Is -1 <= o?
True
Let h be 1 - 0 - (6 + -1). Let a be (h/(-3))/((-2)/(-3)). Let n be (a/(-4))/((-4)/104). Is 13 != n?
False
Let r = -10400 + 10706. Is 3 >= r?
False
Suppose -8*j + 27*j = 38. Suppose -j*q = 8*q + 3100. Is -310 greater than or equal to q?
True
Let g = -94743/8 - -11833. Which is bigger: g or -10?
g
Suppose 3008*o = 2991*o - 408. Let h be (-2340)/44 - 4/(-22). Let n = -75 - h. Are n and o unequal?
True
Suppose 0*l = -13*l + 52. Suppose 4*c + 12 = l*o, 2*o - 6 = -c + 3. Let y be c + (7 - 5) + -18. Which is bigger: -13 or y?
-13
Let r be (2638/156 + -17)*20. Which is smaller: r or -1?
r
Let j be (-6 - -18 - -1) + -473. Which is smaller: j or -459?
j
Suppose -812*h - 10 = -813*h. Let m = -13.3 + 13. Is m > h?
False
Let l = -247.077 + 247. Let u = 0.223 - l. Do u and 23 have the same value?
False
Let z(l) = -l - 4. Let d = -55 + 88. Suppose 0 = 5*q + b + 6 + 34, d = -4*q - b. Let w be z(q). Is 8/3 at least w?
False
Let d = -53.5 - -26.5. Let r = 1339 - 1336. Which is smaller: r or d?
d
Let q = 275 - 178. Suppose -5*r - q = 2*w + 316, 4*r = 4*w - 308. Is -79 equal to r?
False
Let y be -4 + (-5 - -22) + -106. Is 1.1 at most y?
False
Let c be 35/21 - (-1)/3. Suppose c*b + 12 - 20 = 0. Suppose -b*n = -2*x - x + 19, 3*x + 5*n = -17. Which is bigger: -6/17 or x?
x
Suppose 1917*f = 1932*f + 795. Are -58 and f equal?
False
Let g = -8376 - -8153. Which is greater: g or 4?
4
Suppose -3*s - 29827 = m, 17*s - 18*s - 6*m - 9931 = 0. Are -9941 and s non-equal?
True
Let a(d) = -961*d - 355. Let j be a(-4). Do j and 3490 have different values?
True
Let z = 10832/33 - 2562/11. Is 96 not equal to z?
True
Let l = 0.02 - 12.82. Let j = 0.416 - 14.216. Let h = j - l. Which is smaller: -2/59 or h?
h
Suppose -4*o = 57 + 3. Let j(z) = -5*z**3 + 4*z**2 - 4*z + 2. Let w be j(2). Let n be (-3)/(27/84*(-20)/w). Is n equal to o?
False
Let v = -27 - -30. Let m be (v - 69)/(2 + -4). Let n = m - 34. Is n at least as big as -1?
True
Let m = 379 + -299. Suppose 15*n = 5*n + m. Are 114/13 and n nonequal?
True
Let r = 32 + -22. Let i be 4/r - (-19952)/120. Let d = 169 - i. Which is smaller: 1 or d?
1
Suppose -8*p - 25 - 67 = 36. Is p > -16?
False
Let t = 24632 - 24633. Let l be (-1)/(-3) - 303/747. Which is bigger: l or t?
l
Let t = 0 + -1. Suppose -48 = -23*v - v. Let m be (t - 4/(-8))*v. Is -1/21 <= m?
False
Let p(g) = -34*g - 6. Let w be p(6). Suppose 1055 = -19*j - 12*j + 26*j. Which is greater: w or j?
w
Let u(g) = -g**2 - 13*g - 10. Let z be u(-6). Suppose 242 = 6*k + z. Suppose k = -6*m + m. Which is smaller: m or 1?
m
Let l = 815 + -840. Let a be (24/(-276) - l/23)*1. Is -45/8 bigger than a?
False
Let g(s) = -4*s**2 + 434*s + 220. Let w be g(109). Is 5448 bigger than w?
True
Let n = -261 - -102. Let c be ((-48)/10)/(-6) + n/(-120). Which is smaller: c or 2?
2
Let j be 2/(-5) + 422/180. Let p be ((-650)/(-39) + -16)*2/(-3). Let q = j + p. Which is greater: 2 or q?
2
Let m = 136 + -316. Let j be (-350)/78 - (m/117)/10. Which is greater: -4 or j?
-4
Suppose -5*c + b - 209 = -0*b, 2*c = 2*b - 90. Suppose -3*h = 4*g - 4 + 137, 0 = -4*g + 2*h - 158. Which is greater: g or c?
g
Let r(u) = 10*u**3 - u + 1. Suppose 0 = -11*n - n + 12. Let p be r(n). Suppose 4*f - y = 8*f + p, -4*y = -2*f + 4. Is f bigger than -10?
True
Let i be 5/1*(0 - 3/5). Let q be (-7 - i)*(-75)/(-10). Is -30 smaller than q?
False
Let r = 12799 + -7472. Which is smaller: 5325 or r?
5325
Let c = -100566 - -201135/2. Let y = -0.024 + 0.143. Are c and y equal?
False
Let i be 6/(-39) + (-2)/(-13). Suppose b - 3*b + 8 = i. Suppose a - 2*a = -b*a. Which is greater: -2/19 or a?
a
Suppose -13*o + 8*o + 1058 = -4*x, -4*o = -4*x - 848. Is 213 != o?
True
Suppose 26 = -4*v - 3*l, 6*l = 3*v + 9*l + 24. Which is smaller: v or -3/151?
v
Suppose 0 = k + 2*r - 363, 4*k + r - 265 - 1173 = 0. Which is smaller: 363 or k?
k
Suppose 5*q = 2*u - 0*q + 129, -4*u - q - 313 = 0. Let g be 22/u - 6/(-7371)*309. Which is greater: g or -1?
g
Suppose -2*h + 10 = 2. Suppose 3*y + 1 - h = 0. Which is bigger: y or 5?
5
Let n = 3704 - 381508/103. Let g be 2/(-24) + 7075/(-43260). Let t = n - g. Are 6 and t non-equal?
True
Let f = 6/15991 + -34183/48484712. Which is greater: f or -1?
f
Let x = -0.01 + -5.19. Let p = 0.029 + 4.971. Let t = x + p. Is t <= -0.6?
False
Let i = -4/5 - -19/30. Suppose -5*t - 2 = -2*v + 6*v, 4*t = -4*v - 4. Let r be 1 - 20/15*v. Which is smaller: i or r?
i
Let d = -399 + 516. Suppose 2162 = 43*t - d. Is t at most as big as 55?
True
Let f = -114.8 - -89.8. Which is greater: 8.6 or f?
8.6
Let q(g) = g**3 + 2*g**2 + 6*g + 9. Let k be q(-5). Let b = k + 100. Suppose 2*w = -b*r - 18, -27 = 3*w + 2*r - 4*r. Do w and -9 have the same value?
True
Let w be 9367/399 - (-3)/(-5). Let g = 112/5 - w. Is 2/7 >= g?
True
Suppose -2*x = 3*x. Let i = 2303/538196 - -29/3428. Which is smaller: x or i?
x
Let l be (-49)/(1 - 8) + -1*(1 - 135). Which is greater: l or 140?
l
Let w = 1171 - 1171. Which is bigger: 22/205 or w?
22/205
Let w = 6705 - 554. Which is bigger: w or 6152?
6152
Let h = 1718/27325 - 25/1093. Suppose 5 = -d + o, -2*o + 3 = -d - 6. Which is smaller: h or d?
d
Let x be 4 - 1041*3/(-