aller: 0.02 or g?
0.02
Let p = 46 + -34. Let a = -100.1 - -112. Let n = p - a. Is n smaller than 10?
True
Let q = -24256 + 16492. Which is smaller: q or -7763?
q
Suppose 0 = f - 3*g + 24, -2*f - 3 = 5*g + 1. Let t = 903 - 902.8. Which is greater: t or f?
t
Let b = 250 + -248. Let j be b/3 + 77/21 + -5. Is 0.11 at least as big as j?
True
Let a be ((3216/(-20))/1)/(18/120). Which is smaller: -1067 or a?
a
Suppose 33*f - 290 = -92. Let b(y) = -2*y**2 + 12*y - 48. Let x be b(f). Which is bigger: -43 or x?
-43
Suppose -27 = -x - 8*x. Suppose 2*z = 3*a - 25 + 6, z = x*a - 17. Let m be (16 + -14)*(z/1 + 1). Is m at most as big as -0.008?
True
Let k be (-1231 + 11 + 15)*6/(-40). Which is smaller: k or 182?
k
Let a = -7736/2319 - -2/773. Is a at most as big as -1?
True
Let c = 12629.6 + -12627. Is -2/181 at least as big as c?
False
Let r = 4199 - 849. Is r >= 3350?
True
Let w = -11 - -7. Let y = -490 - 942. Let l = y - -1420. Is l smaller than w?
True
Suppose 2*y + 4 = 4*l - 2, -3*y - 7 = -4*l. Let o = 40353 - 40423. Is y at least as big as o?
True
Let s = 996 - 990. Suppose -f + 34 = 5*v, s*f - v = 3*f + 22. Which is smaller: f or 5?
5
Let b = -67 + 338. Let u be (-2 + 278/4)*(-13 - -17). Which is smaller: u or b?
u
Let t = 17 - 743. Let f be 11/(t/(-12)) + (-464)/858. Which is smaller: 1 or f?
f
Let u be (868/(-8))/7*2. Suppose 5*v = 4*s - 137, -s - v = 2*s - 98. Let j = u + s. Is 1 < j?
True
Let a be 35*(6 + (-87)/15). Let s be a/((5 - 9) + 11). Which is smaller: s or -18/37?
-18/37
Let h = 5970 - 5971. Which is bigger: 39/98 or h?
39/98
Let d(h) = h**2 + 4*h + 4. Let y(q) = 3*q**2 + 12*q + 12. Let g(f) = -7*d(f) + 2*y(f). Let s be g(-5). Let z = 3.608 + -3.548. Which is greater: s or z?
z
Let g = 8140 - 8142. Which is bigger: g or 10.9?
10.9
Let k = -1390 - -6319. Which is greater: 4931 or k?
4931
Let q be (1/(-4))/((-1)/(-6))*-186. Let x = q + -7253/26. Which is smaller: 0 or x?
0
Let o(f) = 30*f**2 - 123*f + 11. Let k be o(4). Which is greater: 1/1378 or k?
1/1378
Let s be -2*(-54)/15 - 12/60. Let q be (-215)/25 + (-6)/(-10). Let u = q + s. Which is smaller: -11/5 or u?
-11/5
Let n = 35524 - 33481. Is n greater than 2047?
False
Suppose -8*c + 27 - 18 + 87 = 0. Is c not equal to 11?
True
Let l = 0.03 + 4.64. Let r = 4.78 - l. Is r at most as big as -6?
False
Let m = 2 - 4. Let g = -50231 - -50263. Which is greater: g or m?
g
Suppose 4*j + 15*a - 11*a = -96, -3*a = 6. Which is greater: -23 or j?
j
Let i be (-3)/(-33) - 25086/(-55). Are 456 and i unequal?
True
Let f = -129 + 131. Let g be f/9*6 + 2394/(-1917). Which is smaller: 0 or g?
0
Let p = -60.98 - 0.02. Let l = p + 68. Let f be 60/(-144) - (-2)/3. Is l at most as big as f?
False
Let g be (-1)/(-1) + -4 - -3. Suppose g*v = -4*v - 64. Let h be (-5 + (-9)/(-2))*v/(-2). Which is smaller: h or -3?
h
Let c be (-38)/(-162) - (-2)/(-9). Let b = -643 + 164. Let g = b - -480. Which is smaller: c or g?
c
Let i = -134.52 - -127.02. Which is bigger: i or -116?
i
Let p be (-156)/(-18)*(-12)/(-8). Let r(v) = v**3 - 13*v**2 - 1. Let k be r(p). Let g = -1091 - -80733/74. Do k and g have the same value?
False
Let y = 1630754267/1034480 - -1/206896. Which is smaller: 1577 or y?
y
Suppose -5*x + a + 15 = 0, x + 0*a + a = -3. Suppose -63*f - 25*f = 311 + 569. Is x greater than f?
True
Suppose f + 13 = -0*f - p, 2*p = -4*f - 52. Suppose -4*v - 36 = -v. Is f less than v?
True
Suppose -31 = 52*o - 83. Is -3/832 >= o?
False
Let z = -5144 + 8870. Is 3726 bigger than z?
False
Let t(b) = -b**2 - 15*b + 56. Suppose 0 = 4*f - 12, 4*k + 50 = 5*f - 25. Let v be t(k). Which is greater: v or 58?
58
Suppose -5 = 11*r - 6*r + g, -5*g - 25 = 9*r. Which is smaller: r or 39/53?
r
Let b be -1*(-23)/(-1747264)*8. Is b less than or equal to 1?
True
Let s be 42/(-3) - 50/(-5). Suppose -4*y = -0*y - 32. Suppose 0*q + 2*q + y = 0. Is s less than q?
False
Suppose -5*x - 833 = 3*b - 250, 0 = -8*x + b - 898. Which is greater: x or -2814/25?
-2814/25
Let r = 3477 + -7391/2. Let v = r - -52009/238. Which is bigger: v or 1?
1
Suppose -388 - 548 = 36*x. Which is smaller: x or -760/29?
-760/29
Let i = 957.1 + -957. Which is smaller: i or -28/349?
-28/349
Suppose -1 - 147 - 348 = 16*g. Does -42 = g?
False
Let t be 24/64 - -2*68/(-192). Which is greater: t or 153?
153
Let i = -45.13 - -45. Let d = i - -58.13. Let b = 41 - d. Is 2 bigger than b?
True
Let w = 16112/7 - 597145/259. Are -3 and w non-equal?
True
Let g = -18079 - -18094. Which is bigger: -4 or g?
g
Let z be -321 + (3 - (13 + -10)). Let w = 10 + -330. Which is greater: z or w?
w
Let i be ((-243)/(-27))/((-129)/2). Suppose -3*o + 2 = -4*j - 1, 0 = 3*j + o - 14. Suppose m - j*s - 5 = 0, 3*m + s + 6 = -m. Which is smaller: i or m?
m
Let w(u) = 204*u - 2319. Let q be w(10). Which is greater: q or -2235/8?
q
Let w = 1158 - 1157.7. Are w and -640 non-equal?
True
Let s be ((-190)/15)/(4/(-60)). Let h = s - 173. Which is smaller: 9 or h?
9
Let o = -42 + 24. Let l = -20 + 2. Let a = o - l. Which is greater: 0.5 or a?
0.5
Suppose -4*o = -10*w + 5*w - 1824, 5*o - 4*w - 2280 = 0. Let t = o + -242. Which is bigger: t or 213?
t
Suppose 5*g = 39*g - 2*g - 237056. Do 7406 and g have the same value?
False
Let j = 1722.48 + -1705. Are 1/2 and j equal?
False
Let a(i) = 7*i + 7. Let z be a(0). Let y be z/(-6) + 15/90. Let c be (-280)/518 + (-1)/(-2). Is y greater than c?
False
Let z(w) = w**3 - 82*w**2 + 90*w + 118. Let u be z(81). Is u <= 847?
True
Let h(t) = -t**3 + 41*t**2 + 86*t + 1. Let w be h(43). Let g(z) = 2*z. Let a(i) = i. Let y(k) = 3*a(k) - 2*g(k). Let c be y(-3). Do w and c have the same value?
False
Let h = 29741 - 29741. Is -5/5144 >= h?
False
Let b = -6411/7 + 916. Which is smaller: b or -89?
-89
Let q be 4/(-10)*(224367/(-42) + (-36)/84). Is q > 2136?
True
Let y be (17/(-3) + 5)*(-42)/77. Let g = 4 + -4.7. Which is greater: y or g?
y
Let m(n) = -898*n - 2888. Let l be m(-3). Which is smaller: -974/5 or l?
-974/5
Let i = 1777722/3832375 + 4/30659. Which is smaller: i or -1?
-1
Let o(f) = f**3 + 15*f**2 + 15*f + 18. Suppose 0*k = 3*k + 42. Let q be o(k). Let v = 4 + 1. Is q greater than or equal to v?
False
Let t be (1 - (-1 + 2)) + 3. Suppose -5*h + t = -2*h. Let j = 282/469 - 2/67. Is j < h?
True
Let u be (29/((-203)/(-70)))/(-1 + -1). Do 24 and u have different values?
True
Let v = 26 - 25. Suppose -3*p + 1 = m - v, -4*m = -3*p + 22. Suppose p*y - 14 + 16 = 0. Which is greater: -7/5 or y?
y
Let m be 105/30 - (-1)/(-2). Suppose 5*q - 5*b = -15, -3*q - 4*b - 1 = -m*b. Let o be 1*-14*1/(-2). Are q and o non-equal?
True
Let o be ((-4838)/(-123) + -40)/(1/3). Is o smaller than -5537?
False
Let u = -8467.5 + 8468. Which is greater: u or -0.679?
u
Let z = -366 + 614. Let m = z - 292. Which is smaller: 0 or m?
m
Let b = 116930 + -34962112/299. Let h = b + 25326/1495. Is h less than or equal to 16?
False
Suppose 390 = 3*o - 29*o. Let p be 56/70*(-10)/(-4). Let i be 715/(-44) + p/8. Is i greater than o?
False
Let s be -9 - 1 - 17424/612. Which is smaller: s or -38?
s
Let n(d) = -d**3 + 15*d**2 + 3*d + 79. Let w = 474 - 458. Let l be n(w). Are 1 and l nonequal?
True
Let n(o) = -8*o**2 - 3*o. Let s be n(-2). Let l = s - -26. Suppose f - 146 = -l*u + 5*u, 50 = -u - 5*f. Is -30 > u?
False
Suppose -4*j = -2*s - 0*s + 16, -3*s + 4*j = -28. Let t be (s/92)/((-6)/(-10)). Let x = t + -78/253. Is -1 smaller than x?
True
Let m(c) = 154*c + 970. Let o be m(-6). Which is smaller: o or 0.04?
0.04
Let m = -22/5 - -68/15. Let c = -868 + 868.3. Is c <= m?
False
Let b(k) = 3*k + 2. Let r be b(-1). Let h be (-12)/9*-9*r/(-2). Suppose -h*y - 9 + 3 = 0. Which is bigger: y or -1/76?
-1/76
Let i = -1 - 16. Let w(z) = z + 10. Let o be w(i). Suppose 0 = 5*f + 15 - 0. Which is smaller: o or f?
o
Let y be (162/36)/((-423)/16732). Suppose 2*q + 408 = 50. Is q smaller than y?
True
Let x(g) be the second derivative of g**5/20 + 2*g**4/3 - 5*g**3/3 + 4*g**2 + g. Let j be x(-9). Let y be (-2)/(2/10 + (-252)/(-315)). Is y greater than j?
False
Let h = 1.3 - 0.1. Let p = 1144.8647 - 1145. Let f = 0.0647 - p. Which is bigger: f or h?
h
Let o = 0.9 + 22.7. Let k = 22 - o. Let h be (-3)/1*2/(-30). Which is bigger: h or k?
h
Let p(q) = q**3 - 2*q**2 + q + 29. Let d be p(0). Let u = d - 23. Suppose f + 3*j - 2*j + u = 0, -2*j = 3*f