= g?
True
Let q be (3/24)/(93/(-248)). Let k = -0.6 - -0.6. Let o = k + -1. Is o not equal to q?
True
Let h be -4 + (0/4 - -20). Let z be -75*(h/6 + 0 + -2). Does -50 = z?
True
Let u be (-5060)/(-7) - (-5 + 170/35). Which is bigger: 725 or u?
725
Suppose -5*u + 6*u = -4*j - 314, -388 = 5*j - u. Which is smaller: -77 or j?
j
Suppose 121 = 62*u + 59. Which is smaller: -3/1252 or u?
-3/1252
Suppose f + 176 = -8. Is f at least as big as -184?
True
Let x(j) = -7*j**3 + j**2 - 2*j. Let q be x(2). Let w be (q/(-5))/((-78)/(-20)). Let d = 6/13 + w. Which is smaller: 4 or d?
d
Let t = -228 + 227. Let g = 2 + -4. Let w be 3/((-21)/(-13)) + g. Is t less than w?
True
Suppose -1 + 76 = -5*t - 2*a, -5*a + 14 = -3*t. Let u = 11 + t. Is u equal to -7/12?
False
Suppose 0 = 4*i - 4*m - m - 128, 3*i = -3*m + 96. Is 33 less than or equal to i?
False
Let h = -58 + 58. Is h equal to 1/43?
False
Suppose -4*g = -4*i - 48, g - 5*g = i - 33. Suppose -a - 5*z + g = -12, -z - 42 = -2*a. Which is bigger: a or 112/5?
112/5
Let w = 0.1 - 0.2. Let x be 2/4 + (-4)/((-504)/(-45)). Is w <= x?
True
Let c be -6 + -1 + 1*(-440)/(-77). Let b = 1.2 + -1. Do c and b have the same value?
False
Let j = -0.7 + 0.1. Let h = j - 8.4. Let i = 5 + h. Are 0 and i equal?
False
Let g be (533/(-8))/(90/(-40)). Let f = g + -89/3. Is 2/3 at most as big as f?
False
Let y = 902 - 34269/38. Is -1 greater than y?
False
Let p = 603 - 324. Suppose p = -6*h + 33. Do -41 and h have different values?
False
Suppose -4*q - 4*r = -8*r + 120, -4*q - 5*r = 93. Let v = -40 - q. Let s be v/4 - -3 - 2. Which is smaller: -3 or s?
-3
Suppose -331 = 18*l + 227. Are -2 and l equal?
False
Let h = -8.83 + -0.17. Let l = 7.4 + h. Let v = -1.7 - l. Are -1/4 and v nonequal?
True
Let g(r) = -r**3 - 2*r**2 + 31*r - 9. Let z be g(-7). Is z greater than or equal to 113/6?
True
Let w be (-1)/(0 + 3/(-6)). Let y = 0 + w. Let g be (y/4)/(2/(-4)). Is -1/4 bigger than g?
True
Let f be (-7)/9 - (1 - 2). Let l = 86 - 86. Suppose -4*k - 16 = l, 2*j + 3*k + 2 = -8. Is f >= j?
False
Let q = 2942 - 17645/6. Suppose 0 = -3*l - h + 4, -7 - 5 = 3*l - 3*h. Which is smaller: l or q?
l
Suppose 2*x = -2*l - 26, -x - 12 = 3*l + 5. Is -5 less than x?
False
Let b = 1550 - 4649/3. Which is smaller: -0.47 or b?
-0.47
Let v(m) = m**3 + 2*m**2 + 3*m + 1. Let y be v(-2). Let u be -3 + (146/y - 1). Let f = u - -428/15. Which is smaller: -6 or f?
-6
Let z = -42.31 + 45.1. Let n = z + -0.79. Let l = 483/8 - 60. Which is greater: l or n?
n
Let c(w) = -w - w**3 + 6 - 8*w**2 - 8 - 8 - w. Let r be c(-8). Suppose r = -q - q. Is 1 less than q?
False
Let c = -183/74446 - 98204193/3536185. Let v = -139/5 - c. Is -2 at most as big as v?
True
Let r = 14/115 - 1/46. Let t = -519 - -521. Which is bigger: t or r?
t
Let s = 29 + 15. Suppose o - 49 = 5*x, 3*o - 2*x = s + 103. Which is smaller: o or 48?
48
Let y be ((-3)/30 - 0)*-31492. Let g = y + -3160. Which is smaller: -12 or g?
-12
Let j(t) = -6*t**2 - t. Let l(b) = -b**2. Let n(i) = -j(i) + 4*l(i). Let k be n(2). Let p be k + -8 - (-16)/(-2). Which is greater: -8 or p?
p
Let l be ((-784)/80 + 11)*5/206. Is 0 > l?
False
Let z = -1.28 - 104.82. Let q = -106 - z. Is -35 less than q?
True
Let w = 1168 - 701. Let k = w + -22874/49. Let i = 685/4263 - k. Are i and 0 nonequal?
True
Suppose 3*t + 3248 = -z - 2365, -4*t = 2*z + 7482. Let y be t/63 - 2/7. Is -1 greater than y?
True
Suppose 14 = -2*f - 4*a, -f + 2*f + a = -6. Let k(l) = -21*l**3 - l**2. Let q be k(1). Let s = 19 + q. Do s and f have the same value?
False
Let o = 0.011 + 0.609. Let n = o - 0.82. Which is smaller: n or 0.16?
n
Let s(x) = 23*x - 306. Let k be s(13). Which is smaller: k or -17?
-17
Let n = -8 - -13. Suppose -w - n*u + 1 = -5, u = -3*w + 4. Which is smaller: w or 3?
w
Suppose 0 = 4*b - 66 - 930. Suppose -b = -8*l + 391. Do l and 79 have the same value?
False
Let f = -238 - -191. Is -46 not equal to f?
True
Suppose 1438 = 2*u + 1402. Is 26 greater than u?
True
Let i = 8/345 + 2993/4830. Let b(h) = -h**2 + 7*h - 5. Let y be b(6). Are i and y non-equal?
True
Let t = -56 + 72. Suppose -12*h = -t*h. Which is bigger: 72 or h?
72
Let x be (0 + -1)/((-3)/(-60)). Suppose 36*b - 43*b - 140 = 0. Is b at least x?
True
Let a = 48 - 69. Let q = a - -25. Suppose -3*c - 13 = 4*k, 5*k = 4*c + q*k - 8. Is c < -3?
False
Let y be 2/2*19/((-285)/(-6375)). Are 425 and y unequal?
False
Let o = -4 + 8. Suppose -2*p + 28 = 5*p. Is p > o?
False
Let h be ((-44)/46)/(3 - 4). Which is greater: h or 0?
h
Suppose j + 3 = 5*n - 9, -j = 5*n - 8. Let i be (-4 + 22/4)*32/(-42). Which is smaller: i or j?
j
Let q = 38 - 42. Let d be (6/(-8))/((-6)/q). Which is greater: 0.8 or d?
0.8
Let h = 296741 + -296718.3481. Let s = -0.0481 - h. Let w = -23 - s. Which is smaller: -3 or w?
-3
Suppose 5*v = 3*v. Let l(f) = -f**2 - 2. Let w(k) = -2*k**2 - k - 3. Let h(u) = -3*l(u) + 2*w(u). Let t be h(-3). Which is smaller: v or t?
t
Suppose -7*r = -9 + 93. Is r less than -141/13?
True
Let a(n) = n**3 + 15*n**2 + n + 16. Suppose -215 = 12*c - 35. Let q be a(c). Is q > 4?
False
Suppose -j + 9*j = 0. Suppose j*b + 2 = 2*b. Is -2/103 smaller than b?
True
Let l = 1/1399 - -12529/86738. Which is bigger: l or 1?
1
Let n(q) = -2*q**2 - 21*q - 91. Let w be n(-10). Which is smaller: w or -485/6?
w
Let j be (11 + -13)*31/2. Let f = j + 30. Which is smaller: -9/7 or f?
-9/7
Let b = -5 + 32. Suppose -174 = 18*d + 294. Let q = b + d. Is -2/41 > q?
False
Let o = -1432 + 1443.4. Which is smaller: o or 1?
1
Let z = 24 + -34. Which is bigger: z or -3?
-3
Let w be -128 - (3 - (-1 + 3)). Let a = 114 + w. Is -61/4 greater than a?
False
Let m be -3*((-19)/(-2223))/((-2)/(-24)). Which is smaller: 2/15 or m?
m
Suppose 97 = -10*c - 443. Let z be (-11)/(-22) - c/4. Do z and 14 have the same value?
True
Let m = -18 - -11. Let j be 4 - 2/1 - 9. Is m <= j?
True
Let f be 17*5 - (-21)/(-35)*5. Is 82 > f?
False
Let o = -0.1 + 0.2. Let m = 12.54 + -12. Let d = m - 5.54. Which is bigger: o or d?
o
Let g = 0.01 + 2.99. Let h = 2.9 - g. Let w be (10/18)/(5980/276). Is h equal to w?
False
Let f(j) = -j. Let x be f(1). Let z = -675/4 - -169. Is x at least as big as z?
False
Suppose 10*t - 3*t = 217. Suppose -5*v + t = -4. Is v greater than or equal to 2?
True
Let a = -2945 - -2932. Is a not equal to 24?
True
Let z be ((-4)/6)/(18/(-27)). Is z not equal to 2/37?
True
Let d = 2294909/9924 - -4/2481. Suppose 3*r - 3 = 0, g = -4*r + 108 + 126. Let f = g - d. Is f > 0?
False
Let a(l) = l - 8. Let z be a(6). Let b be 21/((-7)/(-2) + z). Let f = -153 + 168. Is b bigger than f?
False
Let n = -0.3 - 0.2. Let z = 120760/9 + -13418. Do n and z have the same value?
False
Let t(a) = 2*a**2 - 9*a - 5. Let x be t(-8). Let h be 69/x - (-6)/(-39). Are h and -1 nonequal?
True
Let s be 15/10*4/6. Let b be (-2)/((-4)/(-18)) - s. Let z(d) = -9*d**2 + 61*d + 61. Let m be z(-1). Is b bigger than m?
False
Let v = 1/62 - -46/31. Let g = 11 + -9. Is v <= g?
True
Let r(g) = -6*g**2 - 2*g - 3. Let q be r(3). Let w be q/35 + 1/5. Let k = 7 + -9. Is w less than k?
False
Let p = -0.45 - 0.83. Let n = p - -1.38. Is 1/2 less than or equal to n?
False
Let j(a) = -a + 11. Let s be j(2). Suppose 13 = -2*k + s. Do 5 and k have the same value?
False
Let i be -2 + 0 + ((-980)/8)/(-7). Let b = -16 + i. Is b at most -1?
False
Let s = -78 - -79.4. Let m = 3.3 + -2. Let w = s - m. Which is greater: 0 or w?
w
Suppose -11 = 2*s - 3. Which is smaller: 6 or s?
s
Suppose 96*q - 74*q - 22 = 0. Which is smaller: q or 14/55?
14/55
Let q be 15/3 + -3 + -1. Let f(g) = 119*g**2 + 1. Let n be f(q). Let y be ((-4)/10)/(n/(-25)). Do 0 and y have different values?
True
Let p(r) = -4*r**2 - 83*r - 9. Let l be p(-24). Which is smaller: -320 or l?
l
Let y(c) = c**2 - 23*c + 11. Let s be y(23). Let t = 5 - s. Which is smaller: t or -9?
-9
Let t = -283/2 + 78. Let i = 1587/25 + t. Is 1 smaller than i?
False
Suppose t = -t - 22. Let k be 20*-1*16/(-32). Let h = t + k. Which is bigger: h or 0?
0
Let a be 1 + 2*(-1 - -2). Suppose a*n + h - 3 = -20, 5*n = h - 31. Let u be -5*3 - (n - -3). Is -12 > u?
False
Let z = 20 + -16. Let q = z - -139. Let j = -999/7 + q. Is 1 greater than or equal to j?
True
Suppose h + 14 - 38 = 0. Let y = 23 - h. Is -3/8 < y?
False
Let s(z) = 7*z - 19*z + 6*z + 5*z - 2