er: m or 7?
7
Let q be ((-21)/(-6) + -3)*(0 - 0). Let g = -941 + 956. Is g >= q?
True
Let j = 10/1893 - 5647/1427322. Which is smaller: j or -0.01?
-0.01
Suppose 4*r = -2*c - 2618, -2*r + c - 1961 = r. Let y = -2629/4 - r. Is y greater than -4?
True
Suppose 35*s - 39*s = -4. Let o be 105/(-18) - (s + (-1 - 1)). Let c(t) = 2*t + 6. Let g be c(-5). Which is bigger: g or o?
g
Let h(u) = 7*u + 49. Let q be h(-8). Let p be 42/(-6) - 316 - q. Are p and -315 equal?
False
Let m be (-174)/184 - (2 - (-1 + 4)). Let c be 4/69*2/(-4). Let x = c - m. Is x less than or equal to 1?
True
Let b = 47.37 - 50.23. Which is bigger: b or 3?
3
Suppose 2*l = -7*l - 36. Let y be -4 + (9 + l - -1). Suppose -3*a + 60 = y*a. Is 14 equal to a?
False
Let b = 2/477 + -491/3339. Let v be ((-2)/4)/((-1)/(-24)). Let q be 1/(-5) - v/10. Do q and b have the same value?
False
Let h = 43.8 + -4.8. Let p = 50.892 - 50.592. Which is smaller: p or h?
p
Let t(c) = -152*c + 820. Let j be t(9). Which is bigger: 0.2 or j?
0.2
Let q be (4 + (-171)/36)/((-466)/(-4)). Is 0 at most q?
False
Let i be (-610)/366*1/5. Do i and -122/9 have different values?
True
Let z = 14329 + -9473. Is 4855 smaller than z?
True
Let y be 900/9 - (-36 + 27). Which is smaller: y or 134?
y
Suppose 4 = -5*a + 9. Let k be 1237/(-5835)*((-24)/(-21) + -1). Let n = 2/1167 + k. Is a at least n?
True
Let a(q) = -10*q - 73. Suppose 15*y - 77 + 362 = 0. Let x be a(y). Are 120 and x unequal?
True
Suppose y - 292 = 2266. Let n = y - 43456/17. Let l = 793/459 - n. Is -1 <= l?
True
Suppose 12*x - 29*x - 23*x = -9880. Which is smaller: x or 743/3?
x
Suppose -70 + 15 = 5*x. Suppose -41 = -5*d - v, 3*d - 3*v - 3 = 4*d. Suppose -27 = 3*l + d. Is x at most l?
False
Let u be (-4731)/6 - 9/3 - 17/(-34). Which is bigger: u or -783?
-783
Let v = 408 - 428. Let p be -4*1/v*(4 - 2). Let h = -2/177 - 344/885. Is p equal to h?
False
Let b = -89.85 - -82.85. Which is bigger: b or -567?
b
Suppose 31*v + 33*v = -106112. Which is smaller: v or -1657?
v
Let u = 200392/149 + -1345. Which is greater: u or -1?
u
Let n(v) = 13*v - 41. Let i be n(3). Let s be i*(-2)/(-20)*-5. Which is smaller: s or 20/37?
20/37
Let j be (-616)/(-2772)*4/(-14)*(-276)/(-16). Which is greater: j or 0?
0
Let m(d) = d**3 - 4*d**2 + 4*d - 3. Let t = -51 - -54. Let k be m(t). Let x be (-7 - 6) + (k - 0). Is x at least as big as -13?
True
Let k = -101 - -137. Suppose 195*c = 191*c - k. Is c < 16?
True
Suppose -2*n - 8*n = -3*n - 945. Is n greater than or equal to 95?
True
Let k(p) = -p**2 - 380*p - 1875. Let h be k(-5). Do 1/3122 and h have the same value?
False
Suppose 5*l - 5*o - 33 = -8, 2*l + 5 = -3*o. Suppose -72 = -l*z - 5*q, -6*z = -3*z - 4*q - 62. Which is smaller: z or 184/7?
z
Let r(u) = -3 - 2*u + 0*u + 3*u. Let j be r(3). Let c be (-19*(-8)/(-7524))/((2/(-2))/3). Is j greater than c?
False
Let m = -1808 - -1808. Which is smaller: 4/1051 or m?
m
Let q = -116 + 226. Let n = 30416.5 - 30416. Which is bigger: q or n?
q
Suppose 3*q - q + 18 = 0. Suppose 341*j + 13530 = -4555 + 2660 + 1103. Which is greater: q or j?
q
Let x be ((-372)/(-279))/((-3)/(12330/4)). Which is bigger: -1369 or x?
-1369
Let o = 2/9389 - 39166/7558145. Let x = -11234/7245 + o. Let m(h) = -59*h + 470. Let g be m(8). Which is smaller: x or g?
g
Let q = 2.317 - 2.38. Let k = -1.063 - q. Let d = 1.97 + -2. Which is smaller: d or k?
k
Suppose f + 6*w - 17 + 93 = 0, 5*w = 2*f + 67. Suppose -5*i + 4*k = 234, -225 = 5*i - 0*k + 5*k. Let m = f - i. Do m and -4/3 have different values?
True
Let h = -240465/44 - -5467. Let n = h - 18/11. Let d = 9 - -3. Which is smaller: n or d?
n
Let o = 502/35 - 206649/14420. Do o and 0 have the same value?
False
Suppose -148*r = -147*r - 109. Let u = 93 - r. Let m be (-516)/(-51) + u/136. Is 7 >= m?
False
Let m = -283 - -282. Let r be ((-45)/(-18))/(m/(-14)). Is r smaller than 236/7?
False
Suppose -2*j = o + 9, -2*j - 6 = -2*o - 0. Let b be ((-9)/15)/((-2)/(-34)). Let d = b + 989/95. Is o bigger than d?
False
Let l = 0.95 - -1.05. Is 5/271 not equal to l?
True
Suppose 2*u + 15 = 2*m + m, 0 = 3*m + 3*u. Suppose 3 = m*d - 3. Suppose 5*b + 84 = b + d*h, 3*b + 63 = 2*h. Is b > -22?
True
Let x(l) = l**2 + 13*l + 15. Let z be x(-12). Suppose -271*n = -269*n - 6. Is z at most n?
True
Let c be ((-175)/(-1750))/((-2)/574). Is -29 > c?
False
Let g(a) = 8*a + 41. Suppose 0 = -y - 3*l + 31, 76 = 4*y - 3*l + 27. Let f = -21 + y. Let d be g(f). Which is smaller: 3/14 or d?
3/14
Let o be (-2)/(-124)*10 + 0. Suppose -115 - 77 = -32*k. Suppose 22*p = k*p. Are o and p equal?
False
Let w = -0.11 + -0.01. Let v = w + 0.08. Let p = -2.089 + 0.089. Does p = v?
False
Let y = -1067887.3213 + 1067981. Let w = 0.2213 + y. Let v = -94 + w. Which is bigger: v or 13?
13
Let u = 2098.35 - 2099. Let y = -3.75 + -1.25. Which is greater: u or y?
u
Let b(t) = -4*t**3 + 56*t**2 + 9. Let m be b(14). Suppose -7*u + 16*u + m = 0. Which is greater: -3/8 or u?
-3/8
Let p be (-12)/16*(55/(-15))/11. Is p != -0.153?
True
Let v be 303/6 - 6/12. Suppose 100 = v*u - 55*u. Let b be (-5*(-18)/25)/((-3)/u). Is b > 24?
False
Let v = 2.27 - 120.27. Let t = -125.7 - v. Let u = -7.6 - t. Does -1/43 = u?
False
Let t(l) = -2*l + 39. Let a be t(17). Let f be a + -7 + 113 + -3. Let p = f - 115. Is p at least -10?
True
Let j(q) = -q + 3. Let s be j(2). Let n be 367 - 358 - (-1 - 1*3791/(-379)). Is s greater than n?
True
Suppose 5*g = 10, -3*a - 12 + 13 = 2*g. Is -2/93 greater than or equal to a?
True
Suppose 3*l = -5*w - 163, -3*l = 2*w + w + 165. Let i be (-327)/6 - 3/2. Is l greater than or equal to i?
True
Let d = -3198.02 - -3193.1. Which is greater: 28 or d?
28
Let m = -0.1 - -0.14. Let h = -3.1 - -2.06. Let s = h + m. Which is bigger: s or -34?
s
Let j be 21/(-2)*(450/27)/25. Which is smaller: 13.3 or j?
j
Suppose -4*a + 36 - 40 = 0. Which is greater: a or 16/149?
16/149
Suppose -2*d - 170 = -58. Let l be 46/9*(-210)/20. Let w = l - d. Which is smaller: -0.2 or w?
-0.2
Let f be (-4 - 90/24)/(53/424). Which is smaller: f or -24?
f
Let j be 23998/(-99) + 10/(-165)*-3. Let h = 242 + j. Let x = 2.69 + 0.11. Which is smaller: h or x?
h
Let b = 1.07 + 79.93. Let l = -113 + b. Is l smaller than 0.1?
True
Let l(x) = -1390*x + 44. Let t be l(2). Let h be 617/t - (-12)/54. Which is greater: -2/5 or h?
h
Suppose 43*d = -57*d - 907 - 1793. Which is bigger: d or -527/19?
d
Let g be 56/10 - (-2)/5. Suppose 6 = -5*a - 4*v, -2*a - v - 12 = -g*a. Suppose -a*c = 3*r + 21, 2*r + 2*r = 4. Is c less than -9?
True
Let g = -343 - -160. Let v = g - -388. Let c = v - 4509/22. Is 1 greater than c?
True
Let q = -9946 - -9946.031. Which is bigger: q or -5/4?
q
Let k(l) = l**3 + 17*l**2 + l + 19. Let g be (((-68)/3)/(-2))/((-56)/84). Let v be k(g). Let o = 55.7 + -54. Which is smaller: o or v?
o
Let x = 86 - 86. Suppose -3*o - 3*h + 3 = 0, -6*h + 4*h + 7 = -3*o. Let c be 6/3*o*(-3)/72. Which is smaller: x or c?
x
Let v = -115/14 + 17/2. Let j = 0.741 - 1.204. Let b = -0.413 - j. Which is greater: b or v?
v
Let v be (-6)/15 + 4/10. Suppose 3*s + s + 4*q + 120 = v, -90 = 3*s - 5*q. Let k = s + 33. Which is bigger: 2 or k?
k
Let c be ((-46 - -6) + -2)*(-4 + 5). Suppose 0*a - 3*a - 126 = 0. Let i = a - c. Which is smaller: 1 or i?
i
Let w = 7/102 + -4/17. Let a(n) = -3*n + 82. Let j be a(22). Suppose -17 = -i - j. Is i less than or equal to w?
False
Let x = 31 - 37. Let d be -3 + (21 - x/2). Suppose -4*h - d = -h + 3*o, -5*h + 5*o - 5 = 0. Is 6 greater than or equal to h?
True
Let r be 11/(2/(511/(-2)*228/399)). Is r smaller than 1?
True
Let y be 9/(((-21)/28)/1) - 587. Which is greater: y or -3?
-3
Suppose 6 = 4*r - 6. Let g = -24370 + 24366. Which is bigger: r or g?
r
Let s be -152 + 7 + 1 - 14. Is -171 less than s?
True
Suppose 0 = -5*q - 8*w + 302, -33 = 2*q + 5*w - 161. Is -19 bigger than q?
False
Let k = 3/36865 - -110583/147460. Which is greater: k or 0?
k
Let g = 2.84 + 1.86. Let y = -3.7 + g. Are y and 112 nonequal?
True
Suppose 95 = -k - 2*i + 899, -4*k = -2*i - 3196. Suppose 499 = -3*a - 5*b, 50*b + k = -5*a + 48*b. Is -158 equal to a?
True
Let s = -0.33 + 0. Let o = -3.07 + s. Which is smaller: o or -2/7?
o
Let i = -1190 + 13080/11. Let b(x) = 18*x**2 + 3*x + 8. Let d be b(-2). Let q = d - 75. Which is greater: i or q?
i
Suppose -8 = 4