o have the same value?
False
Suppose a - 5*g = -11, 102*g - 9 = -a + 97*g. Is -9/1733 at most a?
False
Let m = -23.9 - -110.9. Let c = -89 + m. Is 64 <= c?
False
Let o be (-2)/12*-2 - (-5)/3. Let v(i) = -33*i**3 - 9*i + 12. Let f be v(o). Is -271 <= f?
True
Let j = -11611 + 11611.16. Is j bigger than -35.6?
True
Let v = -28763/3 + 9336. Which is smaller: -251 or v?
v
Let w be (929294/(-1446) + 1)/((-46)/(-276)). Let q = 3850 + w. Which is smaller: q or 1?
q
Suppose 7*u = 202 - 104. Let i(t) = 2*t - 52. Let z be i(u). Is z bigger than -14?
False
Let v = 419.4 - 300.14. Let a = v - 121. Let c = 0.26 - a. Which is greater: -3 or c?
c
Let t = -16.13 - 3.12. Let r = t + 19.2. Is 0.3 not equal to r?
True
Let b = 2015 - 2066. Suppose 5*a + 5*g = -250, 6*g = 3*g - 6. Which is greater: b or a?
a
Let k be -144 + 3*16/(-12). Let v(w) = -w**2 - 121*w - 3348. Let h be v(-39). Is h < k?
True
Let s be ((-25)/20)/(1/(-4)). Suppose -s*d + 3*k - 1173 = 0, 11*k - 9*k = 2. Is d bigger than -2?
False
Let z be 5/(-5) + 4 - 3. Let b be ((-15732)/(-1320) - 13) + 1. Which is smaller: z or b?
b
Suppose 27*u = 20*u + 110670. Let f be 4/(-34) - (-330)/u. Suppose -q - q = 0. Which is bigger: q or f?
q
Suppose 234*s = 226*s + 5744. Which is smaller: s or 710?
710
Let h = -0.143 - 28.057. Let v = h - -28.19. Which is smaller: -2 or v?
-2
Let r = 19683 - 19983. Is -302 less than or equal to r?
True
Let t = -46 + 7. Let y = t - -40. Let h = -1381/10981 - -21/139. Which is bigger: y or h?
y
Let a(r) = -r**3 - 14*r**2 - 28*r - 140. Let p be a(-13). Which is bigger: 48 or p?
p
Let z be 560449/(-1401570) + (1 - (-6)/(-10)). Which is smaller: z or 0?
0
Let k(r) = -235 - 232 + 446 - 3*r. Let c be k(-5). Which is smaller: c or -96/13?
-96/13
Let r be (57/(-2))/(-19) + (-5)/30. Is r at least 460?
False
Let t(h) = -2*h**2 + 17*h - 33. Let n(x) = -x. Let j(b) = n(b) - t(b). Let q be j(3). Let w(y) = -3*y. Let d be w(1). Is q > d?
False
Suppose -12 = -55*i + 52*i. Suppose 4*j + 23 = -3*z, z - j = -i*z. Do z and 3/55 have the same value?
False
Let o = 261 + -246. Suppose -3 = o*m - 243. Which is smaller: 49/3 or m?
m
Let u = 1.8 - -0.2. Let i = 6 - u. Let a be -4 + -1 + ((-24)/60 - 398/(-70)). Is i not equal to a?
True
Let r = -49 - -20. Let l = r - -17. Let w(g) = 2182*g - 2195. Let n be w(1). Which is smaller: n or l?
n
Let d = -453 + 327. Let b = d - -126.042. Do 0.4 and b have different values?
True
Let k = 11.24 - 0.24. Let m = -53959 - -270713/5. Let j = -184 + m. Which is greater: j or k?
k
Let d = -0.05 - -0.05. Suppose 2*r + 18 = 4*h, -6 - 7 = r - 3*h. Let q be (-3)/(-6)*40 - (-4)/r. Which is greater: d or q?
q
Let a(d) = 43*d**2 + 10*d + 15. Let k be a(-5). Let x be (50/(-14))/((-6)/(-1749)). Let y = k + x. Which is greater: 0 or y?
0
Let p = 3661/46 + -159/2. Is p greater than or equal to -471?
True
Suppose u = -3*u + 5*s + 1930, 0 = 5*u + 2*s - 2396. Suppose -19*d + u = -166. Which is smaller: d or 13?
13
Let b = 783 - 779. Let i be b - (9/(-21) + 10734/2310). Which is smaller: i or -1?
-1
Let b be 3 - 609/58*(-4)/(-14). Are b and 9/80 unequal?
True
Let c = 0.8565 + -0.0565. Is c less than 0.81?
True
Let q = 684 + -570. Let b be 4/(-60)*-5 + q/306. Is 1 <= b?
False
Let b be 10 + (480/6)/(-8). Let y be (-8)/(-28) - 218*(-9)/(-7161). Which is smaller: b or y?
b
Let x be (0/(-1))/(2 - 0) - 111. Suppose -3*m + 5*f + 120 = 446, -m - 120 = 4*f. Which is smaller: x or m?
m
Let w be ((-24)/(-90))/(8/3740). Let y = w - 124. Is y bigger than 26?
False
Let o = -78463/74 + 2990/37. Which is bigger: o or -979?
-979
Suppose 14 = 5*g - m, 0 = -6*m + 11*m + 20. Is g at least as big as 0?
True
Let j = -2619 - -1749. Which is smaller: j or 0?
j
Suppose 895*q + 140 = 899*q. Suppose 136*d - q = 129*d. Let l(b) = 3*b + 1. Let p be l(1). Is d at least as big as p?
True
Let k = -8 - -51. Let q = k - 44. Let o be -2 - (0 - 18/8). Is q > o?
False
Let i be (-6)/(-483)*1561/(-14) + (-5)/(-5). Is i >= -1?
True
Let r(y) = -11*y + 12. Suppose -5*o + 6 = c - 2*o, -o = -3*c - 32. Let u be r(c). Suppose -u = -3*v - 24. Is v < 28?
False
Suppose -6*j + 31 = 31. Let i be (-10)/(-237)*3/(-4)*-12. Is j at least as big as i?
False
Let n = -22752 + 30314. Is 7562 at least n?
True
Let a = 265377884 + -2927914191542/11033. Let w = -2/5415 + 12128/3514335. Let b = w - a. Is 1 equal to b?
False
Let q = -6823 + 6809. Let n = -1.42 - -77.42. Let i = n + q. Which is smaller: i or 1?
1
Let h be (0 - (-16)/(-14))*(2871/(-36) + -5). Which is bigger: 96 or h?
h
Let i = 298.1 + -281.2. Is i greater than 5?
True
Suppose 0 = 3*s + 4*s + 14. Let k be 9 + s + -2 + -2. Suppose w - n = 9, 0 = 2*w - 7*w + k*n + 51. Is 13 != w?
True
Let r = -43454/837 - -1400/27. Which is greater: r or -202?
r
Let r be 150/(-275)*-44 - 985. Is -982 less than or equal to r?
True
Let c be ((-8)/(-13))/(2/18551). Is c at most 5709?
True
Let w(i) = -11*i**2 - 888*i + 301. Let k be w(-81). Which is bigger: -61 or k?
k
Let d be (-2)/(-14) + (-42900)/77. Which is greater: -555 or d?
-555
Let f = 4 - 11. Let r = -3549 - 2139. Let t = r - -51142/9. Which is smaller: f or t?
f
Suppose 0 = -1587*g + 1590*g - 9. Suppose -g*f - 23 = 52. Is -24 at most f?
False
Let v be ((-8100)/(-945))/((-10)/(-84)). Let g = -57 - -129. Do v and g have different values?
False
Let g = 219.44 + -0.44. Let m = g - 246.7. Let k = -10.7 - m. Which is smaller: k or -1?
-1
Let k(f) be the second derivative of -f**5/20 - f**4/4 - 13*f**3/6 - 3*f**2/2 + 123*f. Let j be k(-4). Is j smaller than 64?
False
Suppose 0 = 5*h - 1 - 49. Let o = 407/140 - -119/20. Is o not equal to h?
True
Let j = 79.3758 + 0.0242. Let x = -87.4 + j. Is -40 > x?
False
Suppose -2*k - 107 = -3*f, k + k = -f + 25. Let y(q) be the first derivative of -q**4/4 + 7*q**3/3 + 11*q**2 - 3*q + 19. Let h be y(9). Is f equal to h?
True
Suppose -l + 41 - 43 = 4*r, 3*r - 125 = 5*l. Which is smaller: l or -1392/65?
l
Let m be (428/10)/((-5)/125). Let j = m + 1623. Are 554 and j unequal?
True
Let l(y) = -y**2 - 15*y - 34. Let r be l(-2). Let c be (-41)/164 - 426/r. Is c at most 53?
True
Let w = -180.458 - -8.818. Which is smaller: -0.1 or w?
w
Let y(w) = -w + 4*w - w + 2*w**2 + 4*w - 10. Let z be y(20). Let n be ((-13)/z)/(2/(-5)). Which is bigger: 0 or n?
n
Let g = 3971870/27 - 147089. Is g > 16?
True
Let m = 536.43 + -536.3. Let y = 0.01 + -0.02. Let l = -1.99 + y. Is m greater than l?
True
Let g = 4053 + -5277. Is 1/4 greater than g?
True
Let b = 4239.2 + -4239. Which is smaller: b or 83?
b
Let q(b) = -103*b**2 - 902*b - 37. Let t be q(-14). Is t <= -7597?
True
Suppose 3*k - 134 - 112 = w, -3*k = 3*w - 270. Which is bigger: 114 or k?
114
Let z be (2385/(-795))/(18/(-8) + 0 + 2). Is 442/37 not equal to z?
True
Let q(h) = h**2 + 5*h - 53. Let a be q(-10). Let r be (-78)/7 - (7 + a). Which is smaller: -14 or r?
r
Suppose 3*a = -b + 109, 10*a - 26*b + 21*b = 330. Is a >= 49?
False
Let l = 174.02 + -42.22. Let h = 276 - 144. Let d = h - l. Which is bigger: -0.34 or d?
d
Let a = 142978.001 - 142917. Let q = 0.001 - a. Is 2 != q?
True
Let z(c) be the first derivative of c**2/2 - 10*c - 3. Let a be z(4). Let h(g) = -g**2 + g + 14. Let d be h(-4). Is d less than or equal to a?
True
Let x be (288/112)/((-549)/42). Let p = x + -4637/305. Which is smaller: p or -14?
p
Suppose -2*z + z - 4 = 0, -4 = 4*u + 3*z. Suppose -u*b = 1 + 5. Let m be (b - -2)/((-9)/18). Does m = 1/7?
False
Suppose -2 + 2 = 2*n. Suppose n = -5*z + 136 - 41. Suppose z = 4*c - 21. Which is smaller: 11 or c?
c
Suppose 15123 = 10*r + 12*r - 343. Which is smaller: r or 705?
r
Let g = 7934/11 + -460095/638. Are 2 and g equal?
False
Let j be 2*4/(-6852)*3/10. Let l = j - 245523/19985. Are -12 and l non-equal?
True
Suppose -5*c + 5*m - 1490 = 0, c = 4*c + 5*m + 886. Let a(u) = 22*u**2 - 434*u + 6. Let g be a(19). Which is bigger: g or c?
c
Let k = 11526107 + -10523333343/913. Let x = k - -28/83. Is 3 bigger than x?
True
Suppose 0 = 4*u - 4*k + 2056, -526 = 44*u - 43*u - 5*k. Which is greater: u or -507?
-507
Suppose 2*f + 27 = v, -2*f - 99 + 37 = -2*v. Let p be (34/(-3) + -1)/(3*(-7)/63). Which is greater: p or v?
p
Let k = 7306/21 + -1060/3. Let z be 3/(12/(-32)*-2). Suppose -5*u + q = 5*q, -q - 11 = z*u. Which is smaller: u or k?
k
Let m = 48 - 7. Let c = m - 41.39. Let