hich is greater: j or 0.7?
0.7
Suppose -c - 2*h - 1014 = -5*c, 502 = 2*c - 2*h. Let z be -3 - ((-3850)/c)/5. Is 0 < z?
True
Let n = -15 + 19. Let h = 62 + -19. Let b = h + -43. Is b smaller than n?
True
Let x = -19623/4 + 4689865/956. Do 0.1 and x have the same value?
False
Let z be ((-17)/2)/((-10)/4). Let w(k) = -111*k + 446. Let o be w(4). Are z and o equal?
False
Suppose 9*u = -32 + 32. Let q be ((-1)/(-3))/(-1*380/90). Which is greater: q or u?
u
Suppose -20 - 349 = -62*u - 61*u. Which is smaller: 188/85 or u?
188/85
Suppose 2 = 4*t + 6. Let j be 10/2*(0 + t). Let m = 622 - 628. Which is smaller: m or j?
m
Let n(a) = 3*a + 14. Let t = 90 + -150. Let o = 55 + t. Let x be n(o). Is x at most as big as -3/40?
True
Let q be (-7)/(-14) - (-12095)/1394. Is q smaller than 9?
False
Suppose -9*z + 11*z = 4, 4 = -r - 4*z. Is r equal to -19?
False
Let o = 97.3 + -11.3. Let i = o + -89. Is i less than or equal to 1/4?
True
Let v = 61 + -56. Suppose p + 12 = v*p. Suppose -6*z + 33 = p. Are 5 and z nonequal?
False
Let l(u) = u**2 - 12*u - 16. Let c(d) = d**2 - 23*d - 32. Let g(q) = -2*c(q) + 5*l(q). Let t be g(-5). Let o = t + -1420/11. Does 1 = o?
False
Let x = 5471/14716 - 78/283. Let h = 53 + -53. Is x at least h?
True
Let g(i) = -5*i**2 + 3*i - 26. Let n be g(5). Let m = -136 - n. Which is smaller: m or -3/106?
-3/106
Suppose 10 = 89*l - 84*l. Suppose 2*y + l*y = 4*w, -4*w - 5*y = 36. Suppose -5*r = 2*k + 40, 5*r - 4*k = -0*k - 40. Is w bigger than r?
True
Let v = 100.64 - 89.64. Let s = -311 + 3107/10. Which is smaller: s or v?
s
Suppose -3*f + 13 = t, -f = -2*t + 2 - 11. Let x = -272293 + 1355883/5. Let b = x - -1120. Is b smaller than f?
True
Let w = -9 - -12. Suppose -w*x = -12 + 6. Let m be -5 + 51/9 - x/4. Do -1 and m have the same value?
False
Let d = -2780.594 + 2782. Which is greater: -1 or d?
d
Let i(j) = -339*j + 1694. Let u be i(5). Which is greater: u or 2651?
2651
Let c = 5294 + -68767/13. Do 3 and c have different values?
True
Let b = -5232 - -5232.3. Which is smaller: 25 or b?
b
Let m = 19517 - 19396. Are m and 116 nonequal?
True
Let f = -8653 + 8618. Which is smaller: f or -96?
-96
Suppose -5*y + 69 = 3*p - 47, -3*y + 70 = 2*p. Let f = y - 8. Let s = 444 + -444. Is f bigger than s?
True
Let h = 8715 + -8720. Is h smaller than -414?
False
Let j be (-7)/(-42)*(1 + -5). Which is bigger: -5809 or j?
j
Let m be 4/(-2) - (18 + -25). Suppose 0 = p - 4, 2*u - 34 = -m*p - 0. Is 12 smaller than u?
False
Suppose -2*h + 90*h = -60016. Which is smaller: h or 0?
h
Let w(f) = f**3 - 8*f**2 - 6*f - 21. Let m be w(9). Suppose 2 = -4*j + m. Let b be (j + 1)/(28/(-3)). Is b > -1?
True
Suppose 0 = a + a + 4*d + 916, a - 5*d = -437. Let r be 1 + a/(-16) + 6/8. Let n = r + -30. Are n and 2/71 unequal?
True
Let m(o) = o**3 + 6*o**2 + 5*o - 1. Let r be m(-5). Let j = 367 - 346. Let c be 18/j - 11/14. Is r less than or equal to c?
True
Suppose -8*a = 15 - 15. Suppose a = 35*j - 36*j - 19. Is -19 smaller than j?
False
Let y = 1/2767 - -5413/334807. Let i be 3 - 21/(17 - 10). Which is bigger: i or y?
y
Let q be (1 + (-2)/3)*4. Let l be (-8 + 6)/(-2 + 8/3). Which is smaller: l or q?
l
Suppose -17*v = -10694 - 11814. Which is smaller: v or 1329?
v
Let b = 2.58 - 3.58. Let z = 115 + -114.924. Which is smaller: z or b?
b
Let k be (-1)/3 - (-116)/324*1. Let g = k - -52/81. Let a be (-8)/(-6) + (-48)/36. Is g greater than a?
True
Let n be ((-2 - (-6312)/630) + -8)*-10. Which is bigger: n or -3/7?
n
Let u(f) = 10*f**3 + 7*f**2 - 10*f - 58. Let i be u(-3). Is -1/16 not equal to i?
True
Let s = -627 + 630. Let m be ((-4)/84*-27)/s. Which is bigger: m or -0.042?
m
Let v = 1282 - 97. Suppose -23*b - v = 1667. Which is greater: -120 or b?
-120
Let k = -36.7 - -36.6. Does k = -379?
False
Suppose 11*b - 4235 = 14905. Let w be (-10428)/b + 3 + 3. Does w = 0?
False
Suppose 11*j = 34*j + 20*j + 129. Which is smaller: -45 or j?
-45
Suppose n = 6*n - 170. Suppose g + n = 14. Suppose -3*j - 81 = 4*v, j = -4*v - 120 + 37. Which is greater: g or v?
g
Suppose 122 = 2*p + 4*g, -2*p - 65*g = -70*g - 122. Do 79 and p have the same value?
False
Suppose 292 = -11*d + 1106. Let l = d + -79. Which is smaller: 2 or l?
l
Let q = -5.83 + 5.03. Let g = q + 0.7. Which is bigger: g or -485?
g
Let q be 9 - (4 + (-2 - (-10 - -6))/2). Which is greater: 8 or q?
8
Let x = -0.1409 + -19.8591. Let g = 15.12 - 15. Let z = -0.08 - g. Is z at least x?
True
Suppose 4*p = -9 - 19. Let u = 22 + p. Let g be (-33)/u + 9/(-3)*-1. Is -5 at least g?
False
Let l be (((-68)/(-78))/17)/(4 + (-5480)/1356). Which is smaller: -1 or l?
l
Suppose -78*w + 129*w + 176446 = -185909. Is 1 at most w?
False
Let i = 24568 + -19173. Which is smaller: i or 5393?
5393
Suppose 23*d - 44*d = 1218. Which is smaller: d or -473/8?
-473/8
Suppose -6*y = 155 - 185. Let t be 1/y - (-186)/(-430). Is 1 less than or equal to t?
False
Let f = 31/55 - 23894/42295. Which is smaller: 1 or f?
f
Let i(g) = 54*g**2 - 188*g - 2749. Let k be i(-17). Which is greater: k or 0?
k
Let s be (38 - 42)*58/8. Let c be 2/(-2*3/78). Are c and s unequal?
True
Suppose o = 4*c + 267, -c - 5*o + 0*o - 51 = 0. Let x be (c/4)/((-2)/(-59)). Let f = x + 484. Is -4 at most as big as f?
True
Let n = -178 + 181.7. Is n at least 10?
False
Let a = 48.14 - 48. Let g be ((-10)/20)/(0 - -1 - 3). Is g bigger than a?
True
Let u(l) = -l**3 + 21*l**2 + 18*l + 87. Let c be u(22). Is c greater than 70/841?
False
Suppose -105*o = -24*o - 1248696. Is 15417 not equal to o?
True
Let y be 1800/162 + -11 + (-1)/9. Which is smaller: 1/19659 or y?
y
Let w = -6630 - -12939/2. Is -160 less than or equal to w?
False
Let c = 167 + -380. Let b(d) = -114*d - 1124. Let m be b(-8). Which is greater: c or m?
m
Let r = -168 - -160. Let g be (-44)/(-12) + -1 + 3 + r. Which is bigger: -2 or g?
-2
Let z be (-2)/16 + 9786/336. Let y = -34 + z. Is y not equal to 17?
True
Suppose 0 = 24*u - 158*u - 268. Which is smaller: -217/156 or u?
u
Suppose 0 = -8*d + 229 - 29. Let q be ((-60)/(-25))/(3/d). Is q less than or equal to 19?
False
Let b(l) = -34*l + 2 + l**2 - 7 + 36*l. Let k be b(-5). Does 7 = k?
False
Suppose -4*r - 4*r - 8 = 0. Let n be 1836/(-216) - 9/r. Is n less than -2.64?
False
Suppose -3*k - 16 = -4*f, 0 = -5*f - 5*k + 8 - 23. Which is smaller: -320 or f?
-320
Let y = -561 + 561.0396. Let c = 0.0396 - y. Which is smaller: -20 or c?
-20
Suppose 44651 + 66566 = 5*v - 4*o, 2*v = 4*o + 44494. Which is greater: v or 22242?
22242
Let v = 391 - 535. Let a be 19/((-228)/v) - 2*1. Which is smaller: 23 or a?
a
Suppose 0 = -6*q - 7*q - 1092. Let m = 240 - q. Which is smaller: m or 325?
m
Suppose z + 3395 = 5*t, -5*z - 4*t - 8352 = 8710. Which is greater: z or -3409?
-3409
Suppose 2*a + 0*a = -c + 3, -5*c - 33 = -2*a. Suppose -a*t + 2*t + 10 = x, 3*x + t = 20. Suppose 0 = g - x*g + 5. Which is smaller: 1/54 or g?
1/54
Suppose -4*o + 7*o + 5085576 = s, -25427810 = -5*s + o. Let k = s - 9596453099/1887. Let j = k - 22/51. Which is smaller: -1 or j?
-1
Suppose -5*f = -3*h - 3*f - 12, -5*f = -15. Suppose 5*d + 4485 + 2165 = 0. Let a be 4/26 + d/1547. Is a not equal to h?
True
Suppose 2*l + 4*l = 4*l. Let x(t) = 3*t - 49. Let a be x(19). Suppose l = -4*s + a*s. Which is smaller: -1/75 or s?
-1/75
Let d(k) = -7*k**2 + 14*k + 91. Let w be d(-8). Is w less than or equal to -469?
True
Let f(h) = -h**3 + 61*h**2 - 164*h - 529. Let o be f(58). Do 888/17 and o have the same value?
False
Let t be -6 - 1 - 1 - -1. Suppose 8*a - k = 5*a + 10, -3*a = -2*k - 5. Suppose j = -2*u - 7, -5*j + 14 = -7*j - a*u. Are t and j nonequal?
False
Let d(g) = -5*g - 36. Let x be ((-66)/(-55))/((-86)/40 - -2). Let s be d(x). Let y be (-3)/(-6)*s*(-9)/2. Which is bigger: y or -8?
-8
Let i be (0 - (-18)/12)*7478/3. Which is smaller: i or 3737?
3737
Let b be 4/18 - (-198)/(-891). Let w be 2534/(-3400) + 15/20. Does w = b?
False
Let a = 536 - 513. Suppose 26*j - 3920 = -a*j. Is j greater than or equal to 81?
False
Let x = -2 - -1. Let h be 279/(-97) + 337 + -334. Which is smaller: h or x?
x
Let t be (-4 - 1)*((-1740)/(-5) + -4 + -1). Are t and -1715 equal?
True
Let i be (-8)/(-5) + 2/5. Suppose 3*v = i*v + 3. Let q be (576/(-45))/(-2)*405/162. Which is bigger: v or q?
q
Let f = 49683 + -149054/3. Let u = 6.5 - 4. Is u smaller than f?
Fal