ger: o or v?
v
Let f be (-128)/(-2860) - -7*(-4)/308. Is 4 smaller than f?
False
Let j(x) = 72*x - 88. Let l be j(-9). Let m = -1814609/6 - -303168. Let h = l + m. Which is smaller: -4 or h?
-4
Let w = -651 - -1065. Suppose 0 = -w*b + 406*b. Which is bigger: b or 36?
36
Let t be (5 - (-87)/(-6))/((-14)/(-5908)). Is -4009 not equal to t?
False
Let k = 75861 - 75875. Let a(f) = 2*f + 8. Let d be a(-7). Are d and k nonequal?
True
Let m be 16*3/33 + 0. Suppose 436 - 442 = 4*y - r, -5*r = 4*y - 30. Which is bigger: m or y?
m
Let o be ((-3)/72)/(150/1000). Does -8 = o?
False
Let j(d) = d**3 - 9*d**2 + 10*d + 4. Let y = 50 - 44. Let s be j(y). Let g be 4/(-2)*8/s*2. Are 1/3 and g equal?
False
Let s(z) = 5*z**2. Let k be s(-1). Let d = 17/10 + 82/15. Let n = d - 41/12. Which is smaller: k or n?
n
Let k be (8/16)/(((-1)/(-10))/1). Suppose 14 + 15 = k*s + 3*j, -4*j - 36 = -4*s. Suppose v - 24 = -s*v. Is 2 <= v?
True
Let h(i) = 12*i**2 + 61*i - 393. Let o be h(7). Let x = o - 622. Let m be (2/(-9))/((-2)/11). Is m smaller than x?
False
Let n = 6.98 + -7. Let a = 1.341 - 0.541. Which is bigger: n or a?
a
Let b = 918 - 917.5. Is b smaller than 33.1?
True
Let k be (-3)/4 + 904/(-672). Let p = 10/7 + k. Which is smaller: 0.06 or p?
p
Suppose -7*s - 52 = -4*t - s, -t = -3*s - 25. Which is smaller: t or -26/925?
-26/925
Suppose -2*n + 3*z + 17 = 0, 5*n - 3*z - 25 = n. Let g be 6/n*6/(-9). Is g greater than or equal to 16?
False
Let x = 22726195/774 + -29362. Are x and 0 equal?
False
Let u = -229.71 + 0.71. Let b = -228.93 - u. Is b > 0.2?
False
Suppose 17*r = 51 + 35 - 18. Is r at least as big as 10?
False
Let m = -2264 - -2260. Which is greater: m or 1.547?
1.547
Suppose -683 = -8*f - 363. Let c = -6 - -8. Let p be (-16)/f + c + 122/(-45). Are 0 and p equal?
False
Let r = -3 - -3.11. Let f = -446 - -476.4. Let c = -29.4 + f. Which is bigger: c or r?
c
Let v = 47525 + -3754535/79. Let c = -2972/3081 - v. Which is bigger: c or -1?
c
Suppose -12*c = 274 + 350. Let n = 57 + c. Which is greater: 3 or n?
n
Let u = 273.848 - 269.6. Which is smaller: u or 1/5?
1/5
Suppose 0 = 2*y + 2, 2*h - 563 + 58 = y. Let s = h + -251. Which is greater: s or 16/15?
16/15
Let q = -2.091 + 2.251. Is 0.073 < q?
True
Let f be (-32)/(-36) + (-2535392)/(-1152). Which is greater: 2202 or f?
2202
Let s(o) = 35*o - 28. Let n(l) = -l + 2. Let i(b) = 42*n(b) + s(b). Let a be i(8). Does a = -30?
False
Let h(f) = f**2 - f - 467. Let a be h(21). Suppose 5*l + 274 - 44 = 0. Which is bigger: a or l?
l
Let h be (-9846)/36 - 3/6. Let a be 5 + 3 - h/1. Which is smaller: 283 or a?
a
Let m be -7 + 28/8 - (-1)/2. Let y be 36/10 - (2*m)/(-2). Which is smaller: y or -4/9?
-4/9
Let c(d) = -2*d**2 - 38*d - 37. Let r be c(-18). Which is greater: 33/350 or r?
33/350
Let i = -1256.35 + 1299. Which is greater: 2/3 or i?
i
Let l = 36.8751 - -4.1249. Let w(x) = -x + 2. Let f be w(1). Which is smaller: l or f?
f
Let z(h) = 87*h - 2699. Let j be z(31). Which is smaller: -11/7 or j?
j
Let i be (-386)/(-8) - (-3)/(-12). Let x = -298 + 346. Suppose 0 = 3*b - i + x. Is b equal to -1/11?
False
Let z = -477955686982/205 + 2331496755. Let c = z - 5599. Let i = -63 - -64. Which is bigger: i or c?
i
Suppose 5*p - 6*p = 8*p - 846. Which is smaller: p or 97?
p
Let p be 6 + (4 - 3) - -1. Suppose -40*x = -39*x + p. Let n be x/(-6)*(-26)/(-104). Which is bigger: n or 1?
1
Let o = -96.7 + 103. Let p = 38.7 + o. Let u = p + -44. Is 0.14 > u?
False
Let w be (-1873)/45 - ((-1173)/2484 - (-2)/8). Which is greater: -42 or w?
w
Let q = 2.7 + -31.7. Let y = q - 2. Let x = y - -31. Is 5 at least x?
True
Let u = -13.07 + -529.93. Let j = u + 543.1. Is j < 2/299?
False
Let v(b) = 2*b**2 - 3. Let q be v(3). Let o(f) = 2*f**2 + 17*f - 87. Suppose 1 = 14*i - 55. Let j be o(i). Are j and q equal?
False
Let d(m) = 16*m**2 - 74*m - 29. Let q be d(5). Which is greater: -1/335 or q?
q
Let z = 318893931/43 + -7415257. Let q = z - 881. Which is bigger: 0 or q?
0
Let l(f) = f**2 + f - 1. Let n(t) = -3*t**2 - 4*t + 3. Let r(s) = 2*l(s) + n(s). Let k be r(5). Let x = k - -72. Which is bigger: 0 or x?
x
Suppose 119*m = -40*m - 29892. Is m >= -191?
True
Let c = -60 - -64. Suppose -4*i + 14 = c*m - 6, 3*i = -4*m + 19. Let a be i*-3*12/36. Is a < -8/11?
True
Suppose 0 = -243*y + 227*y + 29072. Which is bigger: 1816 or y?
y
Let l be (2661988/3993045 + 6/(-9))*(-15)/(-3). Which is bigger: l or 0?
0
Suppose -8*d = -12*d - 21*d. Is 5/292 less than d?
False
Let g = 126 - 108.8. Let k = g + -16.41. Let x = -0.89 + k. Which is smaller: x or -22?
-22
Suppose 0 = 3*p - 6*p + 9, -4*r = 3*p - 325. Let o = r - 79. Suppose -99 = 3*f + 3*j, o*j = -5*j + 20. Is -37 > f?
False
Suppose 0 = 4*p + n + 57 - 52, 4*p - 3*n + 1 = 0. Which is smaller: p or 5/262?
p
Let z = -216.9 - -217. Let d be (-40)/5 - 4/2. Is z less than d?
False
Let m = 14.737 - 120.837. Which is smaller: m or -1?
m
Let v = 39.5 - 59. Let g = -19.3 - v. Do 47 and g have different values?
True
Let h be (14310/86)/15 - 11. Which is smaller: h or 6/7?
h
Suppose 3*a - 15 = -3*l, -2*a + 3*a + 5*l = 5. Let h(s) = -2*s + 8 + 3 + 0*s. Let m be h(a). Are m and 0 equal?
False
Let m = 32700.09 - 32387. Let a = 313 - m. Is 3 at most as big as a?
False
Let m = -860538801/15220 - -56540. Which is bigger: -1 or m?
m
Let p(w) = -1776*w - 5055. Let f be p(-3). Does f = 1643/6?
False
Suppose 0*i = -4*i. Let f be ((-840)/(-48))/(20/96). Suppose i = -46*w + 49*w + f. Which is smaller: w or -27?
w
Let t = -272584 - -272582. Let s be (10/26)/(2/(-10)). Which is smaller: s or t?
t
Suppose -b + 3 = -5*y + y, -3*b - 3*y = -9. Suppose -3*t + 13 = o, -o - b*t + 6*t = -7. Suppose 11*g - o*g = -1. Which is bigger: -8 or g?
g
Let r = 3781 - 3782. Are r and -2/3881 unequal?
True
Let i = 0.1 - 0.3. Let m = -75.14 - 9.16. Let s = m - -84. Is i >= s?
True
Let t = -296 - -295.922. Let f = -0.006 + t. Are f and 0 equal?
False
Let o be -15 - (-4800)/165 - (-9 - -22). Which is smaller: o or -0.081?
-0.081
Let u = 2016.1 + -1558. Let l = 458 - u. Which is smaller: l or -0.41?
-0.41
Let r(v) = v**3 - 6*v**2 - 9*v + 19. Let z be r(7). Suppose 2*t - 14 = -3*g, -6*g = z*t - 5*g - 9. Which is bigger: t or 14/33?
t
Suppose -a - 2*a + 2*w = 256, 258 = -3*a + 3*w. Let s be (-217)/a + -2 + -1. Let n = -107/228 - s. Is 1 != n?
True
Let j be 17/(105604/12456) - 2. Which is greater: j or 1?
1
Let a = -51022/3 + 17453. Which is smaller: 445 or a?
445
Let i be ((-11)/(220/8))/((-39)/15). Suppose -l - 10 + 24 = 0. Let w be ((-24)/(-98))/(4/l). Is i bigger than w?
False
Let h(p) = -p**3 + 36*p**2 + 53*p - 356. Let y be h(37). Which is smaller: y or 232?
232
Let t(f) = 363*f**2 - 2179*f + 3. Let n be t(6). Is n at least 515?
False
Let c(q) = 32*q**3 + 6*q**2 + 26*q + 31. Let n(h) = 6*h**3 + h**2 + 5*h + 6. Let z(d) = 2*c(d) - 11*n(d). Let j be z(-1). Is 1 > j?
False
Let x be 54786/(-18) - ((-32)/12 + 4). Which is greater: -3046 or x?
x
Let g = 4399234/507 + -8677. Which is smaller: g or 1?
g
Let t = -36602/23 - -1591. Let m = -73/69 - t. Which is smaller: -23 or m?
-23
Let a(f) = f**3 - 3*f**2 + 3*f - 4. Let v be a(3). Suppose 0 = 5*t + v*q + 25, 4*q = 3*t - 4*t - 11. Let j be (-155)/15 - (-2)/t. Which is bigger: j or -7?
-7
Let f be 464 - 460 - 116/10. Which is greater: -2 or f?
-2
Let y be -1*(9 - -4206) + 2 + -1. Which is bigger: y or -4217?
y
Suppose 0 = 2*h + 2*h + t + 9, -4*h = 3*t + 3. Let f be (-1)/(-3) + 437/57. Let d(g) = 2*g - 22. Let a be d(f). Which is greater: h or a?
h
Suppose -2 = -4*j - 5*y, j + 4*j = 4*y - 18. Let c(z) = z**2 - 14*z - 26. Let w be c(16). Let v be w - 1 - 2848/576. Is v at most as big as j?
False
Let n(g) = 8*g + 189. Let x(b) = -16*b - 380. Let w(f) = 13*n(f) + 6*x(f). Let z be w(-7). Is z >= 122?
False
Let u(j) = -j + 7. Let y be u(6). Let p be 17/((8214/(-144))/37) + 11. Is y not equal to p?
True
Let g = -7093 - -4072. Is 2/7 >= g?
True
Let o = 8896/3 + -2968. Which is smaller: o or 0.04?
o
Let l be -1 + (11748/52 - -4). Let d = -103809/455 + l. Which is greater: 2 or d?
2
Let j(z) = -z**2 + 5*z**2 - 5*z**2 - 22 - 8*z. Let i be j(-4). Is i greater than 3/7?
False
Let u = 11472 + -11471. Does u = 1465?
False
Let l = -1009315/517 - -21567/11. Which is greater: 1/4 or l?
l
Let h be 198/(-330) + 31753/52955. Are 1 and h non